- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
32 S.
- Ausgabe
-
(Extended version)
- Sprache
-
Englisch
- Anmerkungen
-
Literaturangaben
- Erschienen in
-
Technical reports in computer science / Technische Universität Dortmund ; Nr. 834
- Klassifikation
-
Informatik
Mathematik
- Ereignis
-
Veröffentlichung
- (wo)
-
Dortmund
- (wer)
-
TU, Dep. of Computer Science
- (wann)
-
2011
- Urheber
-
Rehof, Jakob
Urzyczyn, Paweł
- 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:42 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
- Rehof, Jakob
- Urzyczyn, Paweł
- TU, Dep. of Computer Science
Entstanden
- 2011
Ähnliche Objekte (12)
Topological Modal Logic for Subset Frames with Finite Descent
Logic programming over polymorphically order-sorted types
Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata
Finite state machine logic synthesis for complex programmable logic devices
On the use of types in logic programming
On types and type consistency in logic programming
On the Use of Types in Logic Programming
Residual intersection theory with reducible schemes
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
Finite automata, formal logic, and circuit complexity
Intersection theory
Intersection Cohomology
Topological Modal Logic for Subset Frames with Finite Descent
Logic programming over polymorphically order-sorted types
Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata
Finite state machine logic synthesis for complex programmable logic devices
On the use of types in logic programming
On types and type consistency in logic programming
On the Use of Types in Logic Programming
Residual intersection theory with reducible schemes
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
Finite automata, formal logic, and circuit complexity
Intersection theory
Intersection Cohomology
Topological Modal Logic for Subset Frames with Finite Descent
Logic programming over polymorphically order-sorted types
Generalized Synchronization and Intersection Non-Emptiness of Finite-State Automata
Finite state machine logic synthesis for complex programmable logic devices
On the use of types in logic programming
On types and type consistency in logic programming
On the Use of Types in Logic Programming
Residual intersection theory with reducible schemes
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
Finite automata, formal logic, and circuit complexity
Intersection theory