Inductive theorem proving in theories specified by positive, negative-conditional equations
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
SEKI Report ; 95,15
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Creator
-
Wirth, Claus-Peter
Kühler, Ulrich
- URN
-
urn:nbn:de:hbz:386-kluedo-3561
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Wirth, Claus-Peter
- Kühler, Ulrich
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (12)
Mechanizing inductive theorem proving in conditional theories
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Inductive theorem proving for design specifications
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Theorem proving in large theories
Inductive theorem proving for algebraic specifications : TIP system user's manual
Superposition theorem proving for commutative algebraic theories
Superposition theorem proving for commutative algebraic theories
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Conditionally specified distributions
Mechanizing inductive theorem proving in conditional theories
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Inductive theorem proving for design specifications
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Theorem proving in large theories
Inductive theorem proving for algebraic specifications : TIP system user's manual
Superposition theorem proving for commutative algebraic theories
Superposition theorem proving for commutative algebraic theories
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Conditionally specified distributions
Mechanizing inductive theorem proving in conditional theories
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Inductive theorem proving for design specifications
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Theorem proving in large theories
Inductive theorem proving for algebraic specifications : TIP system user's manual
Superposition theorem proving for commutative algebraic theories
Superposition theorem proving for commutative algebraic theories
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving