- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-0490
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Minimal Distance of Propositional Models ; day:20 ; month:12 ; year:2018 ; pages:1-54
Theory of computing systems ; (20.12.2018), 1-54
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00224-018-9896-8
- URN
-
urn:nbn:de:101:1-2019020320354962701668
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM CEST
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
- Behrisch, Mike
- Hermann, Miki
- Mengel, Stefan
- Salzer, Gernot
- SpringerLink (Online service)
Other Objects (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