- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
46 S.
- Sprache
-
Englisch
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Max-Planck-Inst. für Informatik, Bibliothek und Dokumentation
- (wann)
-
1996
- Urheber
- 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:50 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
- Basin, David A.
- Matthews, Sean
- Viganò, Luca
- Max-Planck-Inst. für Informatik, Bibliothek und Dokumentation
Entstanden
- 1996
Ähnliche Objekte (12)
A Modal View on Resource-Bounded Propositional Logics
Correction to: A Modal View on Resource-Bounded Propositional Logics
Model checking and validity in propositional and modal inclusion logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Infinite state model checking of propositional dynamic logics
Axiomatizations for propositional and modal team logic
Lattices of modal logics
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators
Modal Logics of Topological Relations
A Modal View on Resource-Bounded Propositional Logics
Correction to: A Modal View on Resource-Bounded Propositional Logics
Model checking and validity in propositional and modal inclusion logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Infinite state model checking of propositional dynamic logics
Axiomatizations for propositional and modal team logic
Lattices of modal logics
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators
Modal Logics of Topological Relations
A Modal View on Resource-Bounded Propositional Logics
Correction to: A Modal View on Resource-Bounded Propositional Logics
Model checking and validity in propositional and modal inclusion logics
Axiomatizing propositional dependence logics
Completeness theory for propositional logics
Complementary Logics for Classical Propositional Languages
Infinite state model checking of propositional dynamic logics
Axiomatizations for propositional and modal team logic
Lattices of modal logics
On quantified propositional logics and the exponential time hierarchy
Terminological logics with modal operators