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

• 1996
• 
  Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin:
  Walking Faster. DISCO 1996: 150-161
• 
  Giulio Balestreri:
  Term Rewriting Systems: An h-Categorical Semantic. DISCO 1996: 67-78
• 
  Gilles Barthe, Hugo Elbers:
  Towards Lean Proof Checking. DISCO 1996: 61-62
• 
  Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt:
  Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21
• 
  Christophe Bourely, Nicolas Peltier:
  Disc_Atinf: A General Framework for Implementing Calculi and Strategies. DISCO 1996: 34-45
• 
  Manuel Bronstein:
  Sigma^IT - A Strongly-Typed Embeddable Computer Algebra Library. DISCO 1996: 22-33
• 
  Arnim Buch, Thomas Hillenbrand, Roland Fettig:
  WALDMEISTER: High Performance Equational Theorem Proving. DISCO 1996: 63-64
• 
  Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
  A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. DISCO 1996: 183-194
• 
  Gregory Butler:
  Software Architectures for Computer Algebra: A Case Study. DISCO 1996: 277-286
• 
  Giovanni Cesari, Roman Maeder:
  Parallel 3-Primes FFT Algorithm. DISCO 1996: 174-182
• 
  Paolo Ciancarini, Stelvio Cimato:
  Animating a Non-executable Formal Specification with a Distributed Symbolic Language. DISCO 1996: 200-201
• 
  Paolo Ciancarini, Cecilia Mascolo:
  Analyzing the Dynamics of a Z Specification. DISCO 1996: 138-149
• 
  Gianna Cioni, Attilio Colagrossi, Marco Temperini:
  An Approach to Class Reasoning in Symbolic Computation. DISCO 1996: 240-251
• 
  Mario Daberkow, Andreas Weber:
  A Database for Number Fields. DISCO 1996: 320-330
• 
  Stéphane Dalmas, Marc Gaëtano:
  Making Systems Communicate and Cooperate: The Central Control Approach. DISCO 1996: 308-319
• 
  Stéphane Dalmas, Marc Gaëtano, Claude Huchet:
  A Deductive Database for Mathematical Formulas. DISCO 1996: 287-296
• 
  Anatoli Degtyarev, Andrei Voronkov:
  Equality Elimination for the Tableau Method. DISCO 1996: 46-60
• 
  Brian J. Dupée, James H. Davenport:
  An Intelligent Interface to Numerical Routines. DISCO 1996: 252-262
• 
  Wolfgang Gehrke, Carla Limongelli:
  Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. DISCO 1996: 98-111
• 
  Martin Gogolla:
  Parameterizing Object Specifications. DISCO 1996: 126-137
• 
  Simon Gray, Norbert Kajler, Paul S. Wang:
  Pluggability Issues in the Multi Protocol. DISCO 1996: 343-356
• 
  Grigorios Grivas, Alexios Palinginis:
  Compiling Residuation for a Multiparadigm Symbolic Programming Language. DISCO 1996: 331-342
• 
  Hans Haugeneder, Donald Steiner:
  Multi-Agent Cooperation - Concepts and Applications. DISCO 1996: 195-197
• 
  Anthony C. Hearn:
  Computer Algebra and the World Wide Web. DISCO 1996: 263-270
• 
  Karsten Homann, Jacques Calmet:
  Structures for Symbolic Mathematical Reasoning and Computation. DISCO 1996: 216-227
• 
  Tudor Jebelean:
  Integer and Rational Arithmetic on MasPar. DISCO 1996: 162-173
• 
  Manfred Kerber, Michael Kohlhase, Volker Sorge:
  Integrating Computer Algebra with Proof Planning. DISCO 1996: 204-215
• 
  Carla Limongelli, Giuseppina Malerba, Marco Temperini:
  Uniform Representation of Basic Algebraic Structures in Computer Algebra. DISCO 1996: 202-203
• 
  Seán Matthews:
  Implementing FS₀ in Isabelle: Adding Structure at the Metalevel. DISCO 1996: 228-239
• 
  Michal Mnuk, Franz Winkler:
  CASA - A System for Computer Aided Constructive Algebraic Geometry. DISCO 1996: 297-307

skipping 98 more matches