Hochschulschrift | Online-Publikation
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
- Language
-
Englisch
- Notes
-
Hamburg, Univ., Diss., 2002
- Keyword
-
Termersetzungssystem
Gleichungstheorie
Typentheorie
Automatisches Beweisverfahren
Petri-Netz
- Creator
-
Stehr, Mark-Oliver
- URN
-
urn:nbn:de:gbv:18-8105
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM 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
- Online-Publikation
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