• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 1992
• 
  Egidio Astesiano, Maura Cerioli:
  Partial higher-order specifications. Fundam. Informaticae 16(1): 101-126 (1992)
• 
  Philippe Balbiani:
  A modal semantics of negation in logic programming. Fundam. Informaticae 16(3-4): 231-262 (1992)
• 
  Manfred Broy:
  Operational and denotational semantics with explicit concurrency. Fundam. Informaticae 16(3-4): 201-229 (1992)
• 
  Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca:
  Operational, denotational and logical descriptions: a case study. Fundam. Informaticae 16(1): 149-169 (1992)
• 
  Andrzej Ehrenfeucht, Marek W. Zawadowski:
  A representation of partial Boolean algebras. Fundam. Informaticae 16(3-4): 349-353 (1992)
• 
  William I. Gasarch, Ramesh K. Sitaraman, Carl H. Smith, Mahendran Velauthapillai:
  Learning programs with an easy to calculate set of errors. Fundam. Informaticae 16(3-4): 355-370 (1992)
• 
  Michael Gelfond, Halina Przymusinska:
  On consistency and completeness of autoepistemic theories. Fundam. Informaticae 16(1): 59-92 (1992)
• 
  Roberto Gorrieri:
  A hierarchy of system descriptions via atomic linear refinement. Fundam. Informaticae 16(3-4): 289-336 (1992)
• 
  Barney P. Hilken, David E. Rydeheard:
  Towards a categorical semantics of type classes. Fundam. Informaticae 16(1): 127-147 (1992)
• 
  Martin Leischner:
  On the compactness theorem of propositional temporal logics. Fundam. Informaticae 16(1): 39-57 (1992)
• 
  Erkki Mäkinen:
  On the generative capacity of context-free matrix grammars over one-letter alphabet. Fundam. Informaticae 16(1): 93-97 (1992)
• 
  Ugo Montanari, Vladimiro Sassone:
  Dynamic congruence vs. progressing bisimulation for CCS. Fundam. Informaticae 16(1): 171-199 (1992)
• 
  Jiri Novotný, Miroslav Novotný:
  Notes on the algebraic approach to dependence in information systems. Fundam. Informaticae 16(3-4): 263-273 (1992)
• 
  Miroslav Novotný, Zdzislaw Pawlak:
  On a problem concerning dependence spaces. Fundam. Informaticae 16(3-4): 275-287 (1992)
• 
  Gheorghe Paun, Miklos Szijarto, Sorina Vicolov:
  Further remarks on reduced languages. Fundam. Informaticae 16(3-4): 337-347 (1992)
• 
  Cecylia Rauszer:
  Logic for information systems. Fundam. Informaticae 16(3-4): 371-382 (1992)
• 
  Jan J. M. M. Rutten, Jeffery I. Zucker:
  A semantic approach to fairness. Fundam. Informaticae 16(1): 1-38 (1992)
• 
  Dimiter Vakarelov:
  Inductive modal logics. Fundam. Informaticae 16(3-4): 383-405 (1992)