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

• 2006
• 
  Artiom Alhazov, Rudolf Freund, Alberto Leporati, Marion Oswald, Claudio Zandron:
  (Tissue) P Systems with Unit Rules and Energy Assigned to Membranes. Fundam. Informaticae 74(4): 391-408 (2006)
• 
  Marek A. Bednarczyk:
  Limits of Modularity. Fundam. Informaticae 74(2-3): 167-187 (2006)
• 
  Olivier Bournez, Emmanuel Hainry:
  Recursive Analysis Characterized as a Class of Real Recursive Functions. Fundam. Informaticae 74(4): 409-433 (2006)
• 
  Fabio Burderi, Giuseppa Castiglione, Antonio Restivo:
  Higman's Theorem on Discrete Sets. Fundam. Informaticae 74(4): 435-446 (2006)
• 
  Matteo Cavaliere, Peter Leupold:
  Observation of String-Rewriting Systems. Fundam. Informaticae 74(4): 447-462 (2006)
• 
  Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka:
  Local Computations in Graphs: The Case of Cellular Edge Local Computations. Fundam. Informaticae 74(1): 85-114 (2006)
• 
  Chin-Chen Chang, Chih-Yang Lin:
  Reversible Data Embedding Based on Prediction Approach for VQ and SMVQ Compressed Images. Fundam. Informaticae 74(2-3): 189-207 (2006)
• 
  Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel:
  Decidability and Universality in Symbolic Dynamical Systems. Fundam. Informaticae 74(4): 463-490 (2006)
• 
  Georgi D. Dimov, Dimiter Vakarelov:
  Contact Algebras and Region-based Theory of Space: A Proximity Approach - I. Fundam. Informaticae 74(2-3): 209-249 (2006)
• 
  Georgi D. Dimov, Dimiter Vakarelov:
  Contact Algebras and Region-based Theory of Space: Proximity Approach - II. Fundam. Informaticae 74(2-3): 251-282 (2006)
• 
  Ivo Düntsch, Michael Winter:
  Rough Relation Algebras Revisited. Fundam. Informaticae 74(2-3): 283-300 (2006)
• 
  Jérôme Durand-Lose:
  Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers. Fundam. Informaticae 74(4): 491-510 (2006)
• 
  Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
  The Embedding Problem for Switching Classes of Graphs. Fundam. Informaticae 74(1): 115-134 (2006)
• 
  Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann:
  Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. Fundam. Informaticae 74(1): 135-166 (2006)
• 
  Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer:
  Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. Fundam. Informaticae 74(1): 31-61 (2006)
• 
  Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel:
  Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Informaticae 74(1): 1-29 (2006)
• 
  Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce:
  Special Issue with Selected Papers from ICGT 2004. Fundam. Informaticae 74(1) (2006)
• 
  Reiko Heckel, Georgios Lajios, Sebastian Menge:
  Stochastic Graph Transformation Systems. Fundam. Informaticae 74(1): 63-84 (2006)
• 
  Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang:
  A Categorical View on Algebraic Lattices in Formal Concept Analysis. Fundam. Informaticae 74(2-3): 301-328 (2006)
• 
  Markus Holzer, Martin Kutrib:
  Variable Complexity of Simple Programs. Fundam. Informaticae 74(4): 511-528 (2006)
• 
  Bala Kalyanasundaram, Mahendran Velauthapillai:
  Capabilities of Thoughtful Machines. Fundam. Informaticae 74(2-3): 329-340 (2006)
• 
  Alberto Leporati, Claudio Zandron, Giancarlo Mauri:
  Reversible P Systems to Simulate Fredkin Circuits. Fundam. Informaticae 74(4): 529-548 (2006)
• 
  Maurice Margenstern:
  Machines, Computations and Universality. Fundam. Informaticae 74(4) (2006)
• 
  Saralees Nadarajah, Samuel Kotz:
  The Linear Combination of Logistic and Gumbel Random Variables. Fundam. Informaticae 74(2-3): 341-350 (2006)
• 
  Jean Néraud:
  On the Completion of Codes in Submonoids with Finite Rank. Fundam. Informaticae 74(4): 549-562 (2006)
• 
  Alexander Okhotin:
  Computational Universality in One-variable Language Equations. Fundam. Informaticae 74(4): 563-578 (2006)
• 
  René Schott, Jean-Claude Spehner:
  Shuffle of Words and Araucaria Trees. Fundam. Informaticae 74(4): 579-601 (2006)
• 
  Mohak Shah, Marina Sokolova, Stan Szpakowicz:
  Process-Specific Information for Learning Electronic Negotiation Outcomes. Fundam. Informaticae 74(2-3): 351-373 (2006)
• 
  Marcin Szpyrka:
  Analysis of RTCP-nets with Reachability Graphs. Fundam. Informaticae 74(2-3): 375-390 (2006)
• 
  Hiroshi Umeo, Masashi Maeda, Masaya Hisaoka, Masato Teraoka:
  A State-Efficient Mapping Scheme for Designing Two-Dimensional Firing Squad Synchronization Algorithms. Fundam. Informaticae 74(4): 603-623 (2006)