Inproceedings,
Extended Modal Dependence Logic.
J. Ebbing, L. Hella, A. Meier, J. Müller, J. Virtema, and H. Vollmer.WoLLIC, volume 8071 of Lecture Notes in Computer Science, page 126-137. Springer, (2013)
Meta data
- BibTeX key
- conf/wollic/EbbingHMMVV13
- entry type
- inproceedings
- booktitle
- WoLLIC
- year
- 2013
- pages
- 126-137
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 8071
- crossref
- conf/wollic/2013
- ee
- https://www.wikidata.org/entity/Q57998299
- isbn
- 978-3-642-39991-6
- url
- http://dblp.uni-trier.de/db/conf/wollic/wollic2013.html#EbbingHMMVV13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/wollic/EbbingHMMVV13
%A Ebbing, Johannes
%A Hella, Lauri
%A Meier, Arne
%A Müller, Julian-Steffen
%A Virtema, Jonni
%A Vollmer, Heribert
%B WoLLIC
%D 2013
%E Libkin, Leonid
%E Kohlenbach, Ulrich
%E de Queiroz, Ruy J. G. B.
%I Springer
%K dblp
%P 126-137
%T Extended Modal Dependence Logic.
%U http://dblp.uni-trier.de/db/conf/wollic/wollic2013.html#EbbingHMMVV13
%V 8071
%@ 978-3-642-39991-6
@inproceedings{conf/wollic/EbbingHMMVV13,
added-at = {2018-11-14T00:00:00.000+0100},
author = {Ebbing, Johannes and Hella, Lauri and Meier, Arne and Müller, Julian-Steffen and Virtema, Jonni and Vollmer, Heribert},
biburl = {https://www.bibsonomy.org/bibtex/2bc551a788af807484abeb83b665aadc3/dblp},
booktitle = {WoLLIC},
crossref = {conf/wollic/2013},
editor = {Libkin, Leonid and Kohlenbach, Ulrich and de Queiroz, Ruy J. G. B.},
ee = {https://www.wikidata.org/entity/Q57998299},
interhash = {1e21ca2ff6f562b3c141937f023faef8},
intrahash = {bc551a788af807484abeb83b665aadc3},
isbn = {978-3-642-39991-6},
keywords = {dblp},
pages = {126-137},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:00:52.000+0200},
title = {Extended Modal Dependence Logic.},
url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2013.html#EbbingHMMVV13},
volume = 8071,
year = 2013
}