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

• 2015
• 
  Davide Ancona, Agostino Dovier:
  A Theoretical Perspective of Coinductive Logic Programming. Fundam. Informaticae 140(3-4): 221-246 (2015)
• 
  Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  A Rule-based Verification Strategy for Array Manipulating Programs. Fundam. Informaticae 140(3-4): 329-355 (2015)
• 
  Florent Avellaneda, Rémi Morin:
  Catching a Structural Bug with a Flower. Fundam. Informaticae 140(1): 61-87 (2015)
• 
  Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano:
  A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. Fundam. Informaticae 140(3-4): 247-262 (2015)
• 
  Paolo Baldan, Alberto Carraro:
  A Causal View on Non-Interference. Fundam. Informaticae 140(1): 1-38 (2015)
• 
  Eike Best, Raymond R. Devillers:
  Synthesis of Live and Bounded Persistent Systems. Fundam. Informaticae 140(1): 39-59 (2015)
• 
  Stefano Bistarelli, Fabio Rossi, Francesco Santini:
  A Comparative Test on the Enumeration of Extensions in Abstract Argumentation. Fundam. Informaticae 140(3-4): 263-278 (2015)
• 
  Stefania Costantini, Andrea Formisano:
  Negation as a Resource: a Novel View on Answer Set Semantics. Fundam. Informaticae 140(3-4): 279-305 (2015)
• 
  Wojciech Czerwinski, Tomasz Gogacz, Eryk Kopczynski:
  Non-dominating Sequences of Vectors Using only Resets and Increments. Fundam. Informaticae 140(2): 123-127 (2015)
• 
  Giovanna D'Agostino, Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu:
  Mapping Sets and Hypersets into Numbers. Fundam. Informaticae 140(3-4): 307-328 (2015)
• 
  Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini:
  Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. Fundam. Informaticae 140(3-4): 357-372 (2015)
• 
  Francesca A. Lisi, Umberto Straccia:
  Learning in Description Logics with Fuzzy Concrete Domains. Fundam. Informaticae 140(3-4): 373-391 (2015)
• 
  José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen:
  Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. Fundam. Informaticae 140(1): 89-121 (2015)
• 
  Gianfranco Rossi, Federico Bergenti:
  Nondeterministic Programming in Java with JSetL. Fundam. Informaticae 140(3-4): 393-412 (2015)
• 
  Iwona Ryszka, Anna Paszynska, Ewa Grabska, Marcin Sieniek, Maciej Paszynski:
  Graph Transformation Systems for Modeling Three Dimensional Finite Element Method. Part I. Fundam. Informaticae 140(2): 129-172 (2015)
• 
  Iwona Ryszka, Anna Paszynska, Ewa Grabska, Marcin Sieniek, Maciej Paszynski:
  Graph Transformation Systems for Modeling Three Dimensional Finite Element Method. Part II. Fundam. Informaticae 140(2): 173-203 (2015)
• 
  Javad Akbari Torkestani:
  Stochastic Bounded Diameter Minimum Spanning Tree Problem. Fundam. Informaticae 140(2): 205-219 (2015)