Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=1128

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Problem-oriented applications of automated theorem proving
W. Bibel, D. Korn, C. Kreitz, S. Schmitt
Lecture Notes in Computer Science 1128, 1996, pp. 1-21
\Sigma^{IT} - A strongly-typed embeddable computer algebra library
Manuel Bronstein
Lecture Notes in Computer Science 1128, 1996, pp. 22-33
Disc_{Atinf}: A general framework for implementing calculi and strategies
Christophe Bourely, Nicolas Peltier
Lecture Notes in Computer Science 1128, 1996, pp. 34-45
Equality elimination for the tableau method
Anatoli Degtyarev, Andrei Voronkov
Lecture Notes in Computer Science 1128, 1996, pp. 46-60
Towards lean proof checking
G. Barthe, H. Elbers
Lecture Notes in Computer Science 1128, 1996, pp. 61-62
WALDMEISTER: High performance equation theorem proving
Arnim Buch, Thomas Hillenbrand, Roland Fettig
Lecture Notes in Computer Science 1128, 1996, pp. 63-64
A reflective language based on conditional term rewriting
Massanobu Numazawa, Masahito Kurihara, Azuma Ohuchi
Lecture Notes in Computer Science 1128, 1996, pp. 65-66
Term rewriting systems: An h-categorical semantic
Giulio Balestreri
Lecture Notes in Computer Science 1128, 1996, pp. 67-78
Generative geometric modeling in a functional environment
Alberto Paoluzzi
Lecture Notes in Computer Science 1128, 1996, pp. 79-97
Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting
Wolfgang Gehrke, Carla Limongelli
Lecture Notes in Computer Science 1128, 1996, pp. 98-111
Conditional categories and domains
Philip S. Santas
Lecture Notes in Computer Science 1128, 1996, pp. 112-125
Parameterizing object specifications
Martin Gogolla
Lecture Notes in Computer Science 1128, 1996, pp. 126-137
Analyzing the dynamics of a Z specification
Paolo Ciancarini, Cecilia Mascolo
Lecture Notes in Computer Science 1128, 1996, pp. 138-149
Walking faster
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
Lecture Notes in Computer Science 1128, 1996, pp. 150-161
Integer and rational arithmetic on MasPar
Tudor Jebelean
Lecture Notes in Computer Science 1128, 1996, pp. 162-173
Parallel 3-primes FFT algorithm
Giovanni Cesari, Roman Maeder
Lecture Notes in Computer Science 1128, 1996, pp. 174-182
A master-slave approach to parallel term rewriting on a hierarchical multiprocessor
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Lecture Notes in Computer Science 1128, 1996, pp. 183-194
Multi-agent cooperation - Concepts and applications
Hans Haugeneder, Donald Steiner
Lecture Notes in Computer Science 1128, 1996, pp. 195-197
Document-centered presentation of computing software: Compound documents are better workspaces
Wolfgang Weck
Lecture Notes in Computer Science 1128, 1996, pp. 198-199
Animating a non-executable formal specification with a distributed symbolic language
P. Ciancarini, S. Cimato
Lecture Notes in Computer Science 1128, 1996, pp. 200-201
Uniform representation of basic algebraic structures in computer algebra
Carla Limongelli, Giuseppina Malerba, Marco Temperini
Lecture Notes in Computer Science 1128, 1996, pp. 202-203
Integrating computer algebra with proof planning
Manfred Kerber, Michael Kohlhase, Volker Sorge
Lecture Notes in Computer Science 1128, 1996, pp. 204-215
Structures for symbolic mathematical reasoning and computation
Karsten Homann, Jacques Calmet
Lecture Notes in Computer Science 1128, 1996, pp. 216-227
Implementing FS_0 in Isabelle: Adding structure at the metalevel
Seán Matthews
Lecture Notes in Computer Science 1128, 1996, pp. 228-239
An approach to class reasoning in symbolic computation
Gianna Cioni, Attilio Colagrossi, Marco Temperini
Lecture Notes in Computer Science 1128, 1996, pp. 240-251

Seiten 1 2 >