DISCO

Keyphrases

Publications

1996

Giulio Balestreri
Term Rewriting Systems: An h-Categorical Semantic. DISCO (1996)
Stéphane Dalmas, Marc Gaëtano
Making Systems Communicate and Cooperate: The Central Control Approach. DISCO (1996)
Alberto Paoluzzi
Generative Geometric Modeling in a Functional Environment. DISCO (1996)
Michal Mnuk, Franz Winkler
CASA - A System for Computer Aided Constructive Algebraic Geometry. DISCO (1996)
Christophe Bourely, Nicolas Peltier
: A General Framework for Implementing Calculi and Strategies. DISCO (1996)
Wolfgang Gehrke, Carla Limongelli
Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. DISCO (1996)
Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi
A Reflective Language Based on Conditional Term Rewriting. DISCO (1996)
Manuel Bronstein
- A Strongly-Typed Embeddable Computer Algebra Library. DISCO (1996)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. DISCO (1996)
Manfred Kerber, Michael Kohlhase, Volker Sorge
Integrating Computer Algebra with Proof Planning. DISCO (1996)
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt
Problem-Oriented Applications of Automated Theorem Proving. DISCO (1996)
Mario Daberkow, Andreas Weber
A Database for Number Fields. DISCO (1996)
Gregory Butler
Software Architectures for Computer Algebra: A Case Study. DISCO (1996)
Gianna Cioni, Attilio Colagrossi, Marco Temperini
An Approach to Class Reasoning in Symbolic Computation. DISCO (1996)
Tudor Jebelean
Integer and Rational Arithmetic on MasPar. DISCO (1996)
Arnim Buch, Thomas Hillenbrand, Roland Fettig
WALDMEISTER: High Performance Equational Theorem Proving. DISCO (1996)
Anatoli Degtyarev, Andrei Voronkov
Equality Elimination for the Tableau Method. DISCO (1996)
Anthony C. Hearn
Computer Algebra and the World Wide Web. DISCO (1996)
Paolo Ciancarini, Stelvio Cimato
Animating a Non-executable Formal Specification with a Distributed Symbolic Language. DISCO (1996)
Seán Matthews
in Isabelle: Adding Structure at the Metalevel. DISCO (1996)
Philip S. Santas
Conditional Categories and Domains. DISCO (1996)
Martin Gogolla
Parameterizing Object Specifications. DISCO (1996)
Karsten Homann, Jacques Calmet
Structures for Symbolic Mathematical Reasoning and Computation. DISCO (1996)
Gilles Barthe, Hugo Elbers
Towards Lean Proof Checking. DISCO (1996)
Stéphane Dalmas, Marc Gaëtano, Claude Huchet
A Deductive Database for Mathematical Formulas. DISCO (1996)
Paolo Ciancarini, Cecilia Mascolo
Analyzing the Dynamics of a Z Specification. DISCO (1996)
Arthur Norman, John P. Fitch
Interfacing REDUCE to Java. DISCO (1996)
Giovanni Cesari, Roman Maeder
Parallel 3-Primes FFT Algorithm. DISCO (1996)
Brian J. Dupée, James H. Davenport
An Intelligent Interface to Numerical Routines. DISCO (1996)
Hans Haugeneder, Donald Steiner
Multi-Agent Cooperation - Concepts and Applications. DISCO (1996)
Wolfgang Weck
Document-Centered Presentation of Computing Software: Compound Documents Are Better Workspaces. DISCO (1996)
Simon Gray, Norbert Kajler, Paul S. Wang
Pluggability Issues in the Multi Protocol. DISCO (1996)
Carla Limongelli, Giuseppina Malerba, Marco Temperini
Uniform Representation of Basic Algebraic Structures in Computer Algebra. DISCO (1996)
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
Walking Faster. DISCO (1996)
Grigorios Grivas, Alexios Palinginis
Compiling Residuation for a Multiparadigm Symbolic Programming Language. DISCO (1996)

volume 1128, 1996

Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings DISCO 1128 (1996)

1993

volume 722, 1993

Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings DISCO 722 (1993)

volume 721, 1993

Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings DISCO 721 (1993)