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

• 2003
• 
  Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
  The max-plus algebra of the natural numbers has no finite equational basis. Theor. Comput. Sci. 293(1): 169-188 (2003)
• 
  Peter R. J. Asveld:
  Algebraic aspects of families of fuzzy languages. Theor. Comput. Sci. 293(2): 417-445 (2003)
• 
  Pierre Bernhard:
  Minimax - or feared value - L¹/L^∞ control. Theor. Comput. Sci. 293(1): 25-44 (2003)
• 
  Pierre Boullier:
  Counting with range concatenation grammars. Theor. Comput. Sci. 293(2): 391-416 (2003)
• 
  Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba:
  Compiling dyadic first-order specifications into map algebra. Theor. Comput. Sci. 293(2): 447-475 (2003)
• 
  Jean-Paul Comet:
  Application of Max-Plus algebra to biological sequence comparisons. Theor. Comput. Sci. 293(1): 189-217 (2003)
• 
  Raymond A. Cuninghame-Green, Peter Butkovic:
  The equation A⊗x=B⊗y over (max, +). Theor. Comput. Sci. 293(1): 3-12 (2003)
• 
  Flavio D'Alessandro, Jacques Sakarovitch:
  The finite power property in free groups. Theor. Comput. Sci. 293(1): 55-82 (2003)
• 
  Denys Duchier:
  Dominance constraints with Boolean connectives: a model-eliminative treatment. Theor. Comput. Sci. 293(2): 321-343 (2003)
• 
  Bertrand Ducourthial, Sébastien Tixeuil:
  Self-stabilization with path algebra. Theor. Comput. Sci. 293(1): 219-236 (2003)
• 
  Colin J. Fidge:
  Foreword. Theor. Comput. Sci. 293(3): 477 (2003)
• 
  Stéphane Gaubert, Jean Jacques Loiseau, Jean Mairesse, Maurice Nivat, Jean-Eric Pin:
  Foreword. Theor. Comput. Sci. 293(1): 1-2 (2003)
• 
  Jeremy Gunawardena:
  From max-plus algebra to nonexpansive mappings: a nonlinear theory for discrete event systems. Theor. Comput. Sci. 293(1): 141-167 (2003)
• 
  Aravind K. Joshi:
  A note on the strong and weak generative powers of formal systems. Theor. Comput. Sci. 293(2): 243-259 (2003)
• 
  Ines Klimann:
  A solution to the problem of (A, B)-invariance for series. Theor. Comput. Sci. 293(1): 115-139 (2003)
• 
  Nami Kobayashi:
  Some properties of recognizable -subsets. Theor. Comput. Sci. 293(1): 83-113 (2003)
• 
  Hans-Peter Kolb, Jens Michaelis, Uwe Mönnich, Frank Morawietz:
  An operational and denotational approach to non-context-freeness. Theor. Comput. Sci. 293(2): 261-289 (2003)
• 
  Annabelle McIver, Carroll Morgan:
  Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL. Theor. Comput. Sci. 293(3): 507-534 (2003)
• 
  Anton Nijholt, Giuseppe Scollo, Dirk Heylen:
  Editorial. Theor. Comput. Sci. 293(2): 237-241 (2003)
• 
  James Rogers:
  wMSO theories as grammar formalisms. Theor. Comput. Sci. 293(2): 291-320 (2003)
• 
  Shane Saunders, Tadao Takaoka:
  Improved shortest path algorithms for nearly acyclic graphs. Theor. Comput. Sci. 293(3): 535-556 (2003)
• 
  Peter Schachte:
  Precise goal-independent abstract interpretation of constraint logic programs. Theor. Comput. Sci. 293(3): 557-577 (2003)
• 
  Karl-Michael Schneider:
  Tabular parsing and algebraic transformations. Theor. Comput. Sci. 293(2): 365-389 (2003)
• 
  Edward P. Stabler, Edward L. Keenan:
  Structural similarity within and among languages. Theor. Comput. Sci. 293(2): 345-363 (2003)
• 
  Salvatore La Torre, Margherita Napoli:
  Finite automata on timed omega-trees. Theor. Comput. Sci. 293(3): 479-505 (2003)
• 
  Jacob van der Woude, Subiono:
  Conditions for the structural existence of an eigenvalue of a bipartite (min, max, +)-system. Theor. Comput. Sci. 293(1): 13-24 (2003)
• 
  Karel Zimmermann:
  Disjunctive optimization, max-separable problems and extremal algebras. Theor. Comput. Sci. 293(1): 45-54 (2003)