Journal: Fundamenta Informaticae

Volume 29, Issue 4

305 -- 324Andrzej Ehrenfeucht, Grzegorz Rozenberg, Kai Salomaa. Semantics of Nonsequential Tree-Based Computation Schemes
325 -- 339Emanuela Fachini, Angelo Monti. Chomsky Hierarchy and Systolic Y-Tree Automata
341 -- 368Gian Luigi Ferrari. Atomicity and Concurrency Control in Process Calculi
369 -- 382Jouni Järvinen. A Representation of Dependence Spaces and Some Basic Algorithms
383 -- 390Sukhamay Kundu, Jianhua Chen. A New Method of Circumscribing Beliefs: The Propositional Case