Hochschulschrift
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
589 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Hamburg, Univ., Diss., 2002 (Nicht für den Austausch)
- Keyword
-
Termersetzungssystem
Gleichungstheorie
Typentheorie
Automatisches Beweisverfahren
Petri-Netz
- Creator
-
Stehr, Mark-Oliver
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:47 AM CET
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.
Object type
- Hochschulschrift
Associated
- Stehr, Mark-Oliver
Other Objects (12)
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Proving Linearizability with Temporal Logic
Horn logic and rewriting for functional and logic program design
First order logic and automated theorem proving
First order logic and automated theorem proving
mj-Reduction for Proving in Predicate Logic
From logic design to logic programming : theorem proving techniques and P-functions
Taclets vs. rewriting logic - relating semantics of Java
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Semantics of UML 2.2 State Machines in Rewriting Logic
Interactive relational database design : a logic programming implementation
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Proving Linearizability with Temporal Logic
Horn logic and rewriting for functional and logic program design
First order logic and automated theorem proving
First order logic and automated theorem proving
mj-Reduction for Proving in Predicate Logic
From logic design to logic programming : theorem proving techniques and P-functions
Taclets vs. rewriting logic - relating semantics of Java
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Semantics of UML 2.2 State Machines in Rewriting Logic
Interactive relational database design : a logic programming implementation
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Proving Linearizability with Temporal Logic
Horn logic and rewriting for functional and logic program design
First order logic and automated theorem proving
First order logic and automated theorem proving
mj-Reduction for Proving in Predicate Logic
From logic design to logic programming : theorem proving techniques and P-functions
Taclets vs. rewriting logic - relating semantics of Java
Proving theorems of higher-order logic with SMT solvers
Proving Theorems of Higher-Order Logic with SMT Solvers
Semantics of UML 2.2 State Machines in Rewriting Logic