Fundamenta Informaticae, Volume 16

Volume 16, Number 1, 1992

Jan J. M. M. Rutten, Jeffery I. Zucker: A semantic approach to fairness. 1-38 BibTeX
Martin Leischner: On the compactness theorem of propositional temporal logics. 39-57 BibTeX
Michael Gelfond, Halina Przymusinska: On consistency and completeness of autoepistemic theories. 59-92 BibTeX
Erkki Mäkinen: On the generative capacity of context-free matrix grammars over one-letter alphabet. 93-97 BibTeX

Egidio Astesiano, Maura Cerioli: Partial higher-order specifications. 101-126 BibTeX
Barney P. Hilken, David E. Rydeheard: Towards a categorical semantics of type classes. 127-147 BibTeX
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca: Operational, denotational and logical descriptions: a case study. 149-169 BibTeX
Ugo Montanari, Vladimiro Sassone: Dynamic congruence vs. progressing bisimulation for CCS. 171-199 BibTeX

Manfred Broy: Operational and denotational semantics with explicit concurrency. 201-229 BibTeX
Philippe Balbiani: A modal semantics of negation in logic programming. 231-262 BibTeX
Jiri Novotný, Miroslav Novotný: Notes on the algebraic approach to dependence in information systems. 263-273 BibTeX
Miroslav Novotný, Zdzislaw Pawlak: On a problem concerning dependence spaces. 275-287 BibTeX
Roberto Gorrieri: A hierarchy of system descriptions via atomic linear refinement. 289-336 BibTeX
Gheorghe Paun, Miklos Szijarto, Sorina Vicolov: Further remarks on reduced languages. 337-347 BibTeX
Andrzej Ehrenfeucht, Marek W. Zawadowski: A representation of partial Boolean algebras. 349-353 BibTeX
William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai: Learning programs with an easy to calculate set of errors. 355-370 BibTeX
Cecylia Rauszer: Logic for information systems. 371-382 BibTeX
Dimiter Vakarelov: Inductive modal logics. 383-405 BibTeX