- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
136 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 133 - 136
- Event
-
Veröffentlichung
- (where)
-
Passau
- (who)
-
Fak. für Mathematik und Informatik, Univ. c/o N. Vollstädt
- (when)
-
1990
- Creator
-
Padawitz, Peter
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 2:13 PM 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
- Padawitz, Peter
- Fak. für Mathematik und Informatik, Univ. c/o N. Vollstädt
Time of origin
- 1990
Other Objects (12)
Rewriting the History of Connexive Logic
Logic program proportions
From Logic to Functional Logic Programs
Taclets vs. rewriting logic - relating semantics of Java
Rewriting logic and its applications : 9th international workshop ; revised selected papers
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Integrating and rapid prototyping UML structural and behavioural diagrams using rewriting logic
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Semantics of UML 2.2 State Machines in Rewriting Logic
Rewriting the History of Connexive Logic
Logic program proportions
From Logic to Functional Logic Programs
Taclets vs. rewriting logic - relating semantics of Java
Rewriting logic and its applications : 9th international workshop ; revised selected papers
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Integrating and rapid prototyping UML structural and behavioural diagrams using rewriting logic
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
Semantics of UML 2.2 State Machines in Rewriting Logic
Rewriting the History of Connexive Logic
Logic program proportions
From Logic to Functional Logic Programs
Taclets vs. rewriting logic - relating semantics of Java
Rewriting logic and its applications : 9th international workshop ; revised selected papers
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Integrating and rapid prototyping UML structural and behavioural diagrams using rewriting logic
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming