External Links

    Journal: Fundamenta Informaticae

    Volume 16, Issue 3-4

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

    Volume 16, Issue 1

    1 -- 38Jan J. M. M. Rutten, Jeffery I. Zucker. A semantic approach to fairness
    39 -- 57Martin Leischner. On the compactness theorem of propositional temporal logics
    59 -- 92Michael Gelfond, Halina Przymusinska. On consistency and completeness of autoepistemic theories
    93 -- 97Erkki Mäkinen. On the generative capacity of context-free matrix grammars over one-letter alphabet
    101 -- 126Egidio Astesiano, Maura Cerioli. Partial higher-order specifications
    127 -- 147Barney P. Hilken, David E. Rydeheard. Towards a categorical semantics of type classes
    149 -- 169Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca. Operational, denotational and logical descriptions: a case study
    171 -- 199Ugo Montanari, Vladimiro Sassone. Dynamic congruence vs. progressing bisimulation for CCS
    runs on