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

• 1987
• 
  Logic Colloquium '85, Orsay, France. Elsevier 1987, ISBN 0-444-70211-3 [contents]
• 1985
• 
  Gisela Ahlbrandt:
  Almost strongly minimal totally categorial theories. Logic Colloquium 1985: 17-32
• 
  Andreas Baudisch:
  On Lascar rank in non-multidimensional omega-stable theories. Logic Colloquium 1985: 33-52
• 
  Steven Buechler:
  "Geometrical" stability theory. Logic Colloquium 1985: 53-66
• 
  Gregory L. Cherlin:
  Homogeneous directed graphs. The imprimitive case. Logic Colloquium 1985: 67-88
• 
  Thierry Coquand, Gérard P. Huet:
  Concepts mathématiques et informatiques formalisés dans le calcul des constructions. Logic Colloquium 1985: 123-146
• 
  Bruno Courcelle:
  Proofs of partial correctness for iterative and recursive computations. Logic Colloquium 1985: 89-110
• 
  A. Burdman Feferman, Solomon Feferman:
  Jean van Heijenoort (1912-1986). Logic Colloquium 1985: 1-8
• 
  Jean-Yves Girard:
  La mouche dans la bouteille. Logic Colloquium 1985: 9-12
• 
  Jean van Heijenoort:
  Système et Métasystème chez Russell. Logic Colloquium 1985: 111-122
• 
  U. Hrushovski, Anand Pillay:
  Weakly normal groups. Logic Colloquium 1985: 233-244
• 
  Daniel Isaacson:
  Arithmetical truth and hidden higher-order concepts. Logic Colloquium 1985: 147-170
• 
  Gerhard Jäger:
  Some proof-theoretic contributions to theories of sets. Logic Colloquium 1985: 171-192
• 
  Kenneth L. Manders:
  Logic and conceptual relationships in mathematics. Logic Colloquium 1985: 193-212
• 
  Peter Päppinghaus:
  Pi₂-models of extensions of Kripke-Platek set theory. Logic Colloquium 1985: 213-232
• 
  Bruno Poizat:
  A propos de groues stables. Logic Colloquium 1985: 245-266
• 
  Philippe de Rouilhan:
  Jean van Heijenoort. Logic Colloquium 1985: 13-16
• 
  Marie-Françoise Roy:
  Logique et géométrie algébrique réelle. Logic Colloquium 1985: 267-280
• 
  Andre Scedrov:
  Some aspects of categorial semantics: sheves and glueing. Logic Colloquium 1985: 281-302
• 
  Ulf R. Schmerl:
  Critères d'indépendence d'équations diophantiennes de fragments de l'alrithmétique. Logic Colloquium 1985: 303-