Superposition Theorem Proving for Commutative Rings (Englisch)
- Neue Suche nach: Stuber, Jürgen
- Neue Suche nach: Stuber, Jürgen
In:
Automated Deduction — A Basis for Applications
1
;
31-55
;
1998
-
ISSN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Superposition Theorem Proving for Commutative Rings
-
Beteiligte:Stuber, Jürgen ( Autor:in )
-
Erschienen in:Automated Deduction — A Basis for Applications , 1 ; 31-55Applied Logic Series ; 10, 1 ; 31-55
-
Verlag:
- Neue Suche nach: Springer Netherlands
-
Erscheinungsort:Dordrecht
-
Erscheinungsdatum:01.01.1998
-
Format / Umfang:25 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 9
-
Lattice-Ordered Groups in DeductionDahn, Ingo et al. | 1998
- 31
-
Superposition Theorem Proving for Commutative RingsStuber, Jürgen et al. | 1998
- 57
-
How to Augment a Formal System with a Boolean Algebra ComponentOhlbach, Hans Jürgen / Köhler, Jana et al. | 1998
- 77
-
Proof Planning: A Practical Approach to Mechanized Reasoning in MathematicsKerber, Manfred et al. | 1998
- 105
-
Program SynthesisKreitz, Christoph et al. | 1998
- 135
-
Termination Analysis for Functional ProgramsGiesl, Jürgen / Walther, Christoph / Brauburger, Jürgen et al. | 1998
- 165
-
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIVSchellhorn, Gerhard / Ahrendt, Wolfgang et al. | 1998
- 195
-
Using Automated Theorem Provers in Verification of ProtocolsDahn, Ingo / Schumann, Johann et al. | 1998
- 225
-
Theorem Proving in Large TheoriesReif, Wolfgang / Schellhorn, Gerhard et al. | 1998
- 243
-
Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with ConstraintsStolzenburg, Frieder / Thomas, Bernd et al. | 1998
- 265
-
Deduction-Based Software Component RetrievalFischer, Bernd / Schumann, Johann / Snelting, Gregor et al. | 1998
- 293
-
Rewrite Based Hardware Verification with ReduxBündgen, Reinhard et al. | 1998