• 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

• 1994
• 
  Jean-Paul Allouche:
  Note on the Cyclic Towers of Hanoi. Theor. Comput. Sci. 123(1): 3-7 (1994)
• 
  Kunimasa Aoki, Juichi Shinoda, Teruko Tsuda:
  On Pi_2 Theories of hp-T Degrees of Low Sets. Theor. Comput. Sci. 123(2): 315-327 (1994)
• 
  Marc Roland Assous, Vincent Bouchitté, Christine Charretton, Brigitte Rozoy:
  Finite Labelling Problem in Event Structures. Theor. Comput. Sci. 123(1): 9-19 (1994)
• 
  Grahame Bennett:
  Double Dipping: the Case of the Missing Binomial Coefficient Identities. Theor. Comput. Sci. 123(2): 351-375 (1994)
• 
  A. Bertrand:
  Sur une conjecture d'Yves Métivier. Theor. Comput. Sci. 123(1): 21-30 (1994)
• 
  Claude Bertrand:
  A Natural Semantics of First-Order Type Dependency. Theor. Comput. Sci. 123(1): 31-53 (1994)
• 
  Jean-Camille Birget, Stuart W. Margolis, John C. Meakin:
  The Word Problem for Inverse Monoids Presented by One Idempotent Relator. Theor. Comput. Sci. 123(2): 273-289 (1994)
• 
  François Blanchard, S. Fabre:
  Quelques procédés engendrant des suites infinies. Theor. Comput. Sci. 123(1): 55-60 (1994)
• 
  Francine Blanchet-Sadri:
  Equations and Monoid Varieties of Dot-Depth One and Two. Theor. Comput. Sci. 123(2): 239-258 (1994)
• 
  Jean-Pierre Borel:
  Symbolic Representation of Piecewise Linear Functions on the Unit Interval and Application to Discrepancy. Theor. Comput. Sci. 123(1): 61-87 (1994)
• 
  Serge Burckel:
  Functional Equations Associated with Congruential Functions. Theor. Comput. Sci. 123(2): 397-406 (1994)
• 
  Claude Chaunier, Nik Lygeros:
  Le nombre de posets à isomorphie près ayant 12 èlèments. Theor. Comput. Sci. 123(1): 89-94 (1994)
• 
  Mireille Clerbout, D. Gonzalez:
  Atomic Semicommutations. Theor. Comput. Sci. 123(2): 259-272 (1994)
• 
  Hervé Daudé, Brigitte Vallée:
  An Upper Bound on the Average Number of Iterations of the LLL Algorithm. Theor. Comput. Sci. 123(1): 95-115 (1994)
• 
  Dominique Duval, Pascale Sénéchaud:
  Sketches and Parametrization. Theor. Comput. Sci. 123(1): 117-130 (1994)
• 
  Henri Faure:
  Méthodes quasi-Monte-Carlo multidimensionnelles. Theor. Comput. Sci. 123(1): 131-137 (1994)
• 
  Philippe Flajolet, Peter J. Grabner, Peter Kirschenhofer, Helmut Prodinger, Robert F. Tichy:
  Mellin Transforms and Asymptotics: Digital Sums. Theor. Comput. Sci. 123(2): 291-314 (1994)
• 
  Edith Hemaspaandra, Lane A. Hemaspaandra:
  Quasi-injective Reductions. Theor. Comput. Sci. 123(2): 407-413 (1994)
• 
  Dung T. Huynh, Lu Tian:
  Deciding Bisimilarity of Normed Context-Free Processes is in Sigmap_2. Theor. Comput. Sci. 123(2): 183-197 (1994)
• 
  Shigeki Iwata, Takumi Kasai:
  The Othello game on an n*n board is PSPACE-complete. Theor. Comput. Sci. 123(2): 329-340 (1994)
• 
  Maria M. Klawe:
  Shallow Grates. Theor. Comput. Sci. 123(2): 389-395 (1994)
• 
  Zbigniew S. Kowalski:
  Multiple Returns Under a Bounded Number of Iterations. Theor. Comput. Sci. 123(1): 139-144 (1994)
• 
  Dexter Kozen, Shmuel Zaks:
  Optimal Bounds for the Change-Making Problem. Theor. Comput. Sci. 123(2): 377-388 (1994)
• 
  Bruno Martin:
  A Universal Cellular Automaton in Quasi-Linear Time and its S-m-n Form. Theor. Comput. Sci. 123(2): 199-237 (1994)
• 
  Daniel Mey:
  Finite Games for a Predicate Logic Without Contractions. Theor. Comput. Sci. 123(2): 341-349 (1994)
• 
  Maurice Mignotte:
  Sur l'équation de Catalan, II. Theor. Comput. Sci. 123(1): 145-149 (1994)
• 
  Burkhard Monien, Wojciech Rytter, Helmut Schäpers:
  Corrigendum: Fast Recognition of Deterministic CFL's with a Smaller Number of Processors. Theor. Comput. Sci. 123(2): 427-428 (1994)
• 
  Naomi Nishimura:
  Restricted CRCW PRAM. Theor. Comput. Sci. 123(2): 415-426 (1994)
• 
  Eric Rémila:
  A Linear Algorithm to Tile the Trapezes with h_m and v_n. Theor. Comput. Sci. 123(1): 151-165 (1994)
• 
  Xiangdong Ye:
  Coexistence of Uniquely Ergodic Subsystems of Interval Mapping. Theor. Comput. Sci. 123(1): 167-181 (1994)