default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 15
Volume 15, Number 1, 1991
- Cecylia Rauszer:
Reducts in information systems. Fundam. Informaticae 15(1): 1-12 (1991) - Yoram Hirshfeld:
Deterministic concurrent systems. Fundam. Informaticae 15(1): 13-36 (1991) - Annegret Habel, Hans-Jörg Kreowski, Detlef Plump:
Jungle evaluation. Fundam. Informaticae 15(1): 37-60 (1991) - Dimiter Vakarelov:
A model logic for similarity relations in pawlak knowledge representation systems. Fundam. Informaticae 15(1): 61-79 (1991) - Pieter Hendrik Rodenburg:
Interpolation in conditional equational logic. Fundam. Informaticae 15(1): 80-85 (1991) - Erkki Mäkinen:
On pure context-free language and left szilard languages. Fundam. Informaticae 15(1): 86-89 (1991) - Juraj Hromkovic:
On the power of two-dimensional synchronized alternating finite automata. Fundam. Informaticae 15(1): 90-98 (1991) - Benedetto Intrigila:
A problem on easy terms in Calculus. Fundam. Informaticae 15(1): 99-106 (1991)
Volume 15, Number 2, 1991
- Tiejun Gao:
An analytic semantics of CSP. Fundam. Informaticae 15(2): 107-122 (1991) - Joachim Biskup:
Relationship chase procedures interpreted as resolution with paramodulation. Fundam. Informaticae 15(2): 123-138 (1991) - Jan Mycielski, Damian Niwinski:
Cellular automata on tress, a model for parallel computation. Fundam. Informaticae 15(2): 139-144 (1991) - Y. Faber, Jan Mycielski:
Application of learning theorems. Fundam. Informaticae 15(2): 145-167 (1991) - Cecylia Rauszer:
Algebraic considerations of autoepistemic logic. Fundam. Informaticae 15(2): 168-179 (1991) - Antoni Wiweger:
A functionalization of logical kits. Fundam. Informaticae 15(2): 180-186 (1991) - Andrzej Skowron, Jaroslaw Stepaniuk:
Towards an approximation theory of discrete problems, Part I. Fundam. Informaticae 15(2): 187-207 (1991)
Volume 15, Number 3-4, 1991
- Didier Dubois, Jérôme Lang, Henri Prade:
Timed possibilistic logic. Fundam. Informaticae 15(3-4): 211-234 (1991) - Melvin Fitting:
Many-valued modal logics. Fundam. Informaticae 15(3-4): 235-254 (1991) - Rohit Parikh:
Monotonic and non-monotonic logics of knowledge. Fundam. Informaticae 15(3-4): 255-274 (1991) - Kurt Konolige:
Quantification in autoepistemic logic. Fundam. Informaticae 15(3-4): 275-300 (1991) - John F. Horty, Richmond H. Thomason:
Conditionals and artificial intelligence. Fundam. Informaticae 15(3-4): 301-323 (1991) - Sarit Kraus, Donald Perlis, John F. Horty:
Reasoning about ignorance: a note on the Bush-Gorbachev problem. Fundam. Informaticae 15(3-4): 325-332 (1991) - Anthony S. Maida, Jacques Wainer, Sehyeong Cho:
A syntactic approach to introspection and reasoning about the beliefs of other agents. Fundam. Informaticae 15(3-4): 333-356 (1991) - Tien Huynh, Leo Joskowicz, Catherine Lassez, Jean-Louis Lassez:
Practical tools for reasoning about linear constraints. Fundam. Informaticae 15(3-4): 357-380 (1991) - Zbigniew W. Ras:
Query processing in distributed information systems. Fundam. Informaticae 15(3-4): 381-397 (1991)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
