Conferences in DBLP

Design and Implementation of Symbolic Computation Systems (DISCO) (disco)
1996 (conf/disco/1996)

1. Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt
   Problem-Oriented Applications of Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:1-21 [Conf]
   
2. Manuel Bronstein
   Sigma^IT - A Strongly-Typed Embeddable Computer Algebra Library. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:22-33 [Conf]
   
3. Christophe Bourely, Nicolas Peltier
   Disc_Atinf: A General Framework for Implementing Calculi and Strategies. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:34-45 [Conf]
   
4. Anatoli Degtyarev, Andrei Voronkov
   Equality Elimination for the Tableau Method. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:46-60 [Conf]
   
5. Gilles Barthe, Hugo Elbers
   Towards Lean Proof Checking. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:61-62 [Conf]
   
6. Arnim Buch, Thomas Hillenbrand, Roland Fettig
   WALDMEISTER: High Performance Equational Theorem Proving. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:63-64 [Conf]
   
7. Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi
   A Reflective Language Based on Conditional Term Rewriting. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:65-66 [Conf]
   
8. Giulio Balestreri
   Term Rewriting Systems: An h-Categorical Semantic. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:67-78 [Conf]
   
9. Alberto Paoluzzi
   Generative Geometric Modeling in a Functional Environment. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:79-97 [Conf]
   
10. Wolfgang Gehrke, Carla Limongelli
    Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:98-111 [Conf]
    
11. Philip S. Santas
    Conditional Categories and Domains. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:112-125 [Conf]
    
12. Martin Gogolla
    Parameterizing Object Specifications. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:126-137 [Conf]
    
13. Paolo Ciancarini, Cecilia Mascolo
    Analyzing the Dynamics of a Z Specification. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:138-149 [Conf]
    
14. Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
    Walking Faster. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:150-161 [Conf]
    
15. Tudor Jebelean
    Integer and Rational Arithmetic on MasPar. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:162-173 [Conf]
    
16. Giovanni Cesari, Roman Maeder
    Parallel 3-Primes FFT Algorithm. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:174-182 [Conf]
    
17. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
    A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:183-194 [Conf]
    
18. Hans Haugeneder, Donald Steiner
    Multi-Agent Cooperation - Concepts and Applications. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:195-197 [Conf]
    
19. Wolfgang Weck
    Document-Centered Presentation of Computing Software: Compound Documents Are Better Workspaces. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:198-199 [Conf]
    
20. Paolo Ciancarini, Stelvio Cimato
    Animating a Non-executable Formal Specification with a Distributed Symbolic Language. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:200-201 [Conf]
    
21. Carla Limongelli, Giuseppina Malerba, Marco Temperini
    Uniform Representation of Basic Algebraic Structures in Computer Algebra. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:202-203 [Conf]
    
22. Manfred Kerber, Michael Kohlhase, Volker Sorge
    Integrating Computer Algebra with Proof Planning. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:204-215 [Conf]
    
23. Karsten Homann, Jacques Calmet
    Structures for Symbolic Mathematical Reasoning and Computation. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:216-227 [Conf]
    
24. Seán Matthews
    Implementing FS₀ in Isabelle: Adding Structure at the Metalevel. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:228-239 [Conf]
    
25. Gianna Cioni, Attilio Colagrossi, Marco Temperini
    An Approach to Class Reasoning in Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:240-251 [Conf]
    
26. Brian J. Dupée, James H. Davenport
    An Intelligent Interface to Numerical Routines. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:252-262 [Conf]
    
27. Anthony C. Hearn
    Computer Algebra and the World Wide Web. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:263-270 [Conf]
    
28. Arthur Norman, John Fitch
    Interfacing REDUCE to Java. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:271-276 [Conf]
    
29. Gregory Butler
    Software Architectures for Computer Algebra: A Case Study. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:277-286 [Conf]
    
30. Stéphane Dalmas, Marc Gaëtano, Claude Huchet
    A Deductive Database for Mathematical Formulas. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:287-296 [Conf]
    
31. Michal Mnuk, Franz Winkler
    CASA - A System for Computer Aided Constructive Algebraic Geometry. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:297-307 [Conf]
    
32. Stéphane Dalmas, Marc Gaëtano
    Making Systems Communicate and Cooperate: The Central Control Approach. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:308-319 [Conf]
    
33. Mario Daberkow, Andreas Weber
    A Database for Number Fields. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:320-330 [Conf]
    
34. Grigorios Grivas, Alexios Palinginis
    Compiling Residuation for a Multiparadigm Symbolic Programming Language. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:331-342 [Conf]
    
35. Simon Gray, Norbert Kajler, Paul S. Wang
    Pluggability Issues in the Multi Protocol. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:343-356 [Conf]