Journal: Fundamenta Informaticae

Volume 17, Issue 4

285 -- 317Johan van Benthem. Logic as programming
319 -- 331Luca Aceto. History preserving, causal and mixed-ordering equivalence over stable event structures
333 -- 362Herman Akdag, Michel De Glas, Daniel Pacholczyk. A qualitative theory of uncertainty
363 -- 368Erkki Mäkinen. On Grammatical inference and derivational complexity of context grammars
369 -- 397Luca Aceto. Relating distributed, temporal and causal observations of simple processes