- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
SEKI working paper ; 1994,4
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1994
- Creator
-
Wirth, Claus-Peter
Lunde, Rüdiger
- URN
-
urn:nbn:de:hbz:386-kluedo-3970
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
2025-03-25T13:51:55+0100
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
- Lunde, Rüdiger
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1994
Other Objects (12)
Inductive theorem proving in theories specified by positive, negative-conditional equations
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Syntactic Confluence Criteria for Positive-, Negative-Conditional Term Rewriting Systems
Chapter XIV. On Conditional Equations in General.
positiv – negativ
Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results
Conditional punishment: Descriptive social norms drive negative reciprocity
General (negative) aspects of my writing
Negativ und Positiv
Negativ-Positiv-Kombination
Negativ und Positiv
Negative is Positive
Inductive theorem proving in theories specified by positive, negative-conditional equations
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Syntactic Confluence Criteria for Positive-, Negative-Conditional Term Rewriting Systems
Chapter XIV. On Conditional Equations in General.
positiv – negativ
Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results
Conditional punishment: Descriptive social norms drive negative reciprocity
General (negative) aspects of my writing
Negativ und Positiv
Negativ-Positiv-Kombination
Negativ und Positiv
Negative is Positive
Inductive theorem proving in theories specified by positive, negative-conditional equations
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Syntactic Confluence Criteria for Positive-, Negative-Conditional Term Rewriting Systems
Chapter XIV. On Conditional Equations in General.
positiv – negativ
Time Discretization of the SST-generalized Navier-Stokes Equations: Positive and Negative Results
Conditional punishment: Descriptive social norms drive negative reciprocity
General (negative) aspects of my writing
Negativ und Positiv
Negativ-Positiv-Kombination
Negativ und Positiv