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

• 1997
• 
  Maurizio Alvarez-Manilla, Abbas Edalat, Nasser Saheb-Djahromi:
  An extension result for continuous valuations. COMPROX 1997: 2-11
• 
  Jens Blanck:
  Domain representations of topological spaces. COMPROX 1997: 12-30
• 
  Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
  Preface. COMPROX 1997: 1
• 
  Abbas Edalat, Joseph Parry:
  An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets. COMPROX 1997: 31-40
• 
  Thomas Erker:
  Right Kan spaces and essentially complete T0-spaces. COMPROX 1997: 41-52
• 
  Martín Hötzel Escardó:
  Effective and sequential definition by cases on the reals via infinite signed-digit numerals. COMPROX 1997: 53-68
• 
  Reinhold Heckmann:
  Big Integers and Complexity Issues in Exact Real Arithmetic. COMPROX 1997: 69
• 
  Achim Jung, Regina Tix:
  The troublesome probabilistic powerdomain. COMPROX 1997: 70-91
• 
  Alexander Kaganovsky:
  Computing with Exact Real Numbers in a Radix-r System. COMPROX 1997: 92-118
• 
  Klaus Keimel:
  Bi-continuous valuations. COMPROX 1997: 119-123
• 
  Ulrich Kohlenbach:
  Proof theory and computational analysis. COMPROX 1997: 124-157
• 
  Marta Z. Kwiatkowska, Gethin Norman:
  A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes. COMPROX 1997: 182
• 
  Jimmie Lawson:
  The Upper Interval Topology, Property M and Compactness. COMPROX 1997: 158-172
• 
  Keye Martin:
  Domain theoretic models of topological spaces. COMPROX 1997: 173-181
• 
  Philipp Sünderhauf:
  Spaces of valuations as quasimetric domains. COMPROX 1997: 183-196
• 
  Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
  Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997. Electronic Notes in Theoretical Computer Science 13, Elsevier 1997 [contents]