Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Logic, Language, Information, and Computation |
| Seiten | 238-250 |
| Publikationsstatus | Veröffentlicht - 2013 |
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice. / Müller, Julian-Steffen; Vollmer, Heribert.
Logic, Language, Information, and Computation. 2013. S. 238-250.
Logic, Language, Information, and Computation. 2013. S. 238-250.
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
Müller, J-S & Vollmer, H 2013, Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice. in Logic, Language, Information, and Computation. S. 238-250. https://doi.org/10.1007/978-3-642-39992-3_21
Müller, J.-S., & Vollmer, H. (2013). Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice. In Logic, Language, Information, and Computation (S. 238-250) https://doi.org/10.1007/978-3-642-39992-3_21
Müller JS, Vollmer H. Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice. in Logic, Language, Information, and Computation. 2013. S. 238-250 doi: 10.1007/978-3-642-39992-3_21
Download
@inproceedings{c31d2210bae142b595d0600930c642de,
title = "Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice",
keywords = "cs.CC, cs.LO",
author = "Julian-Steffen M{\"u}ller and Heribert Vollmer",
year = "2013",
doi = "10.1007/978-3-642-39992-3_21",
language = "English",
pages = "238--250",
booktitle = "Logic, Language, Information, and Computation",
}
Download
TY - GEN
T1 - Model Checking for Modal Dependence Logic
T2 - An Approach Through Post's Lattice
AU - Müller, Julian-Steffen
AU - Vollmer, Heribert
PY - 2013
Y1 - 2013
KW - cs.CC
KW - cs.LO
U2 - 10.1007/978-3-642-39992-3_21
DO - 10.1007/978-3-642-39992-3_21
M3 - Conference contribution
SP - 238
EP - 250
BT - Logic, Language, Information, and Computation
ER -