- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-0490
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Minimal Distance of Propositional Models ; day:20 ; month:12 ; year:2018 ; pages:1-54
Theory of computing systems ; (20.12.2018), 1-54
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00224-018-9896-8
- URN
-
urn:nbn:de:101:1-2019020320354962701668
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:01 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
- Behrisch, Mike
- Hermann, Miki
- Mengel, Stefan
- Salzer, Gernot
- SpringerLink (Online service)
Ähnliche Objekte (12)
Propositional Models of Evaluative Conditioning
A Model of Argument: Propositional and Predicate Calculus
The Model-Theoretic Expressiveness of Propositional Proof Systems
Infinite state model checking of propositional dynamic logics
Motivating propositional gratitude
Some Unusual Models of Test-Free Propositional Dynamic Logic
Two theories of propositional quantification
Propositional Type Theory of Indeterminacy
Propositional and Predicate Logic
Axiomatizing propositional dependence logics
Non-metric Propositional Similarity
Experiential Attitudes are Propositional
Propositional Models of Evaluative Conditioning
A Model of Argument: Propositional and Predicate Calculus
The Model-Theoretic Expressiveness of Propositional Proof Systems
Infinite state model checking of propositional dynamic logics
Motivating propositional gratitude
Some Unusual Models of Test-Free Propositional Dynamic Logic
Two theories of propositional quantification
Propositional Type Theory of Indeterminacy
Propositional and Predicate Logic
Axiomatizing propositional dependence logics
Non-metric Propositional Similarity
Experiential Attitudes are Propositional
Propositional Models of Evaluative Conditioning
A Model of Argument: Propositional and Predicate Calculus
The Model-Theoretic Expressiveness of Propositional Proof Systems
Infinite state model checking of propositional dynamic logics
Motivating propositional gratitude
Some Unusual Models of Test-Free Propositional Dynamic Logic
Two theories of propositional quantification
Propositional Type Theory of Indeterminacy
Propositional and Predicate Logic
Axiomatizing propositional dependence logics
Non-metric Propositional Similarity