default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 16
Volume 16, Number 1, 1992
- Jan J. M. M. Rutten, Jeffery I. Zucker:
A semantic approach to fairness. Fundam. Informaticae 16(1): 1-38 (1992) - Martin Leischner:
On the compactness theorem of propositional temporal logics. Fundam. Informaticae 16(1): 39-57 (1992) - Michael Gelfond, Halina Przymusinska:
On consistency and completeness of autoepistemic theories. Fundam. Informaticae 16(1): 59-92 (1992) - Erkki Mäkinen:
On the generative capacity of context-free matrix grammars over one-letter alphabet. Fundam. Informaticae 16(1): 93-97 (1992)
Volume 16, Number 3, 1992
- Egidio Astesiano, Maura Cerioli:
Partial higher-order specifications. Fundam. Informaticae 16(1): 101-126 (1992) - Barney P. Hilken, David E. Rydeheard:
Towards a categorical semantics of type classes. Fundam. Informaticae 16(1): 127-147 (1992) - Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca:
Operational, denotational and logical descriptions: a case study. Fundam. Informaticae 16(1): 149-169 (1992) - Ugo Montanari, Vladimiro Sassone:
Dynamic congruence vs. progressing bisimulation for CCS. Fundam. Informaticae 16(1): 171-199 (1992)
Volume 16, Number 3-4, 1992
- Manfred Broy:
Operational and denotational semantics with explicit concurrency. Fundam. Informaticae 16(3-4): 201-229 (1992) - Philippe Balbiani:
A modal semantics of negation in logic programming. Fundam. Informaticae 16(3-4): 231-262 (1992) - Jiri Novotný, Miroslav Novotný:
Notes on the algebraic approach to dependence in information systems. Fundam. Informaticae 16(3-4): 263-273 (1992) - Miroslav Novotný, Zdzislaw Pawlak:
On a problem concerning dependence spaces. Fundam. Informaticae 16(3-4): 275-287 (1992) - Roberto Gorrieri:
A hierarchy of system descriptions via atomic linear refinement. Fundam. Informaticae 16(3-4): 289-336 (1992) - Gheorghe Paun, Miklos Szijarto, Sorina Vicolov:
Further remarks on reduced languages. Fundam. Informaticae 16(3-4): 337-347 (1992) - Andrzej Ehrenfeucht, Marek W. Zawadowski:
A representation of partial Boolean algebras. Fundam. Informaticae 16(3-4): 349-353 (1992) - William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai:
Learning programs with an easy to calculate set of errors. Fundam. Informaticae 16(3-4): 355-370 (1992) - Cecylia Rauszer:
Logic for information systems. Fundam. Informaticae 16(3-4): 371-382 (1992) - Dimiter Vakarelov:
Inductive modal logics. Fundam. Informaticae 16(3-4): 383-405 (1992)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
