• 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 21 matches

• 1997
• 
  Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
  A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. Fundam. Informaticae 32(3-4): 193-250 (1997)
• 
  Antonio Bucciarelli:
  Bi-Models: Relational Versus Domain-Theoretic Approaches. Fundam. Informaticae 32(3-4): 251-266 (1997)
• 
  Andrés Bujosa, Regino Criado, Miguel Angel Hernández-Medina:
  Unification: Nothing but the Solution of a System of Linear Equations. Fundam. Informaticae 32(3-4): 267-280 (1997)
• 
  Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig:
  Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae 32(3-4): 281-297 (1997)
• 
  Mihir K. Chakraborty, Sanjukta Basu:
  Graded Consequence and Some Metalogical Notions Generalized. Fundam. Informaticae 32(3-4): 299-311 (1997)
• 
  Mihir K. Chakraborty, Ewa Orlowska:
  Substitutivity Principles in Some Theories of Uncertainty. Fundam. Informaticae 32(2): 107-120 (1997)
• 
  Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc:
  Transition-Optimal Token Distribution. Fundam. Informaticae 32(3-4): 313-328 (1997)
• 
  Wan J. Fokkink:
  An Axiomatization for Regular Processes in Times Branching Bisimulation. Fundam. Informaticae 32(3-4): 329-340 (1997)
• 
  Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer:
  Fork Algebras in Algebra, Logic and Computer Science. Fundam. Informaticae 32(1): 1-25 (1997)
• 
  Terry Gaasterland, Jorge Lobo:
  Qualifying Answers According to User Needs and Preferences. Fundam. Informaticae 32(2): 121-137 (1997)
• 
  Juha Honkala:
  Decision Problems Concerning a Power Series Generalization of DTOL Systems. Fundam. Informaticae 32(3-4): 341-348 (1997)
• 
  Stefano Kasangian, Sebastiano Vigna:
  The Topos of Labelled Trees: A Categorical Semantics for SCCS. Fundam. Informaticae 32(1): 27-45 (1997)
• 
  Mohamed A. Khamsi, Driss Misane:
  Disjunctive Signed Logic Programs. Fundam. Informaticae 32(3-4): 349-357 (1997)
• 
  V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
  Complexity of Recursive Normal Default Logic. Fundam. Informaticae 32(2): 139-147 (1997)
• 
  Gheorghe Paun, Lech Polkowski, Andrzej Skowron:
  Rough Set Approximations of Languages. Fundam. Informaticae 32(2): 149-162 (1997)
• 
  Don Pigozzi, Antonino Salibra:
  Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus. Fundam. Informaticae 32(1): 47-90 (1997)
• 
  Carolina Ruiz, Jack Minker:
  Combining Closed World Assumptions with Stable Negation. Fundam. Informaticae 32(2): 163-181 (1997)
• 
  Krister Segerberg:
  Proposal for a Theory of Belief Revision Along the Lines of Lindström and Rabinowicz. Fundam. Informaticae 32(2): 183-191 (1997)
• 
  Wladyslaw Skarbek:
  On Relation of Image Compression and Image Association. Fundam. Informaticae 32(3-4): 359-371 (1997)
• 
  Ferucio Laurentiu Tiplea, Erkki Mäkinen:
  Jumping Petri Nets. Specific Properties. Fundam. Informaticae 32(3-4): 373-392 (1997)
• 
  Jerzy Tyszkiewicz:
  Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines. Fundam. Informaticae 32(1): 91-105 (1997)