- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
136 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 133 - 136
- Ereignis
-
Veröffentlichung
- (wo)
-
Passau
- (wer)
-
Fak. für Mathematik und Informatik, Univ. c/o N. Vollstädt
- (wann)
-
1990
- Urheber
-
Padawitz, Peter
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:13 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Padawitz, Peter
- Fak. für Mathematik und Informatik, Univ. c/o N. Vollstädt
Entstanden
- 1990
Ähnliche Objekte (12)
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
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
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
Semantics of UML 2.2 State Machines in Rewriting Logic
Logic program synthesis and transformation, meta programming in logic : 4th international workshops, proceedings
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
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
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
Semantics of UML 2.2 State Machines in Rewriting Logic
Logic program synthesis and transformation, meta programming in logic : 4th international workshops, proceedings
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
Counterexample generation for higher-order logic using functional and logic programming
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
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
Semantics of UML 2.2 State Machines in Rewriting Logic