- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
134 S.
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Karlsruhe, Univ., Diplomarbeit, 2005
- Erschienen in
-
Interner Bericht / Universität Karlsruhe (TH) ; 2005,16
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
Univ., Fak. für Informatik, Bibl.
- (wann)
-
2005
- Urheber
-
Sasse, Ralf
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:34 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
- Sasse, Ralf
- Univ., Fak. für Informatik, Bibl.
Entstanden
- 2005
Ähnliche Objekte (12)
Semantics of UML 2.2 State Machines in Rewriting Logic
Rewriting the History of Connexive Logic
Horn logic and rewriting for functional and logic program design
Truthmaker Semantics for Relevant Logic
Discourse Semantics and Textual Logic
Possible worlds : logic, semantics and ontology
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Supercover Semantics for Deontic Action Logic
Partial Semantics for Quantified Modal Logic
Truthmaker Semantics for Intuitionistic Modal Logic
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems
Semantics of UML 2.2 State Machines in Rewriting Logic
Rewriting the History of Connexive Logic
Horn logic and rewriting for functional and logic program design
Truthmaker Semantics for Relevant Logic
Discourse Semantics and Textual Logic
Possible worlds : logic, semantics and ontology
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Supercover Semantics for Deontic Action Logic
Partial Semantics for Quantified Modal Logic
Truthmaker Semantics for Intuitionistic Modal Logic
Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems
Semantics of UML 2.2 State Machines in Rewriting Logic
Rewriting the History of Connexive Logic
Horn logic and rewriting for functional and logic program design
Truthmaker Semantics for Relevant Logic
Discourse Semantics and Textual Logic
Possible worlds : logic, semantics and ontology
Ontologically minimal semantics for intuitionistic logic
Kripke Semantics for Intuitionistic Łukasiewicz Logic
Supercover Semantics for Deontic Action Logic
Partial Semantics for Quantified Modal Logic
Truthmaker Semantics for Intuitionistic Modal Logic