Fundamenta Informaticae, Volume 15

Volume 15, Number 1, 1991

Cecylia Rauszer: Reducts in information systems. 1-12 BibTeX
Yoram Hirshfeld: Deterministic concurrent systems. 13-36 BibTeX
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle evaluation. 37-60 BibTeX
Dimiter Vakarelov: A model logic for similarity relations in pawlak knowledge representation systems. 61-79 BibTeX
Pieter Hendrik Rodenburg: Interpolation in conditional equational logic. 80-85 BibTeX
Erkki Mäkinen: On pure context-free language and left szilard languages. 86-89 BibTeX
Juraj Hromkovic: On the power of two-dimensional synchronized alternating finite automata. 90-98 BibTeX
Benedetto Intrigila: A problem on easy terms in Calculus. 99-106 BibTeX

Tiejun Gao: An analytic semantics of CSP. 107-122 BibTeX
Joachim Biskup: Relationship chase procedures interpreted as resolution with paramodulation. 123-138 BibTeX
Jan Mycielski, Damian Niwinski: Cellular automata on tress, a model for parallel computation. 139-144 BibTeX
Y. Faber, Jan Mycielski: Application of learning theorems. 145-167 BibTeX
Cecylia Rauszer: Algebraic considerations of autoepistemic logic. 168-179 BibTeX
Antoni Wiweger: A functionalization of logical kits. 180-186 BibTeX
Andrzej Skowron, Jaroslaw Stepaniuk: Towards an approximation theory of discrete problems, Part I. 187-207 BibTeX

Didier Dubois, Jérôme Lang, Henri Prade: Timed possibilistic logic. 211-234 BibTeX
Melvin Fitting: Many-valued modal logics. 235-254 BibTeX
Rohit Parikh: Monotonic and non-monotonic logics of knowledge. 255-274 BibTeX
Kurt Konolige: Quantification in autoepistemic logic. 275-300 BibTeX
John F. Horty, Richmond H. Thomason: Conditionals and artificial intelligence. 301-323 BibTeX
Sarit Kraus, Donald Perlis, John F. Horty: Reasoning about ignorance: a note on the Bush-Gorbachev problem. 325-332 BibTeX
Anthony S. Maida, Jacques Wainer, Sehyeong Cho: A syntactic approach to introspection and reasoning about the beliefs of other agents. 333-356 BibTeX
Tien Huynh, Leo Joskowicz, Catherine Lassez, Jean-Louis Lassez: Practical tools for reasoning about linear constraints. 357-380 BibTeX
Zbigniew W. Ras: Query processing in distributed information systems. 381-397 BibTeX