Details
| Original language | English |
|---|---|
| Title of host publication | Logic, Language, Information, and Computation |
| Pages | 238-250 |
| Publication status | Published - 2013 |
Keywords
- cs.CC, cs.LO
Cite this
- 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. p. 238-250.
Logic, Language, Information, and Computation. 2013. p. 238-250.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › 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. pp. 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 (pp. 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. p. 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 -