Inproceedings,
Submodel Enumeration of Kripke Structures in Modal Logic.
N. Fröhlich, and A. Meier.AiML, page 391-406. College Publications, (2022)
Meta data
- BibTeX key
- conf/aiml/FrohlichM22
- entry type
- inproceedings
- booktitle
- AiML
- year
- 2022
- pages
- 391-406
- publisher
- College Publications
- crossref
- conf/aiml/2022
- ee
- http://www.aiml.net/volumes/volume14/24-Froehlich-Meier.pdf
- isbn
- 978-1-84890-413-2
- url
- http://dblp.uni-trier.de/db/conf/aiml/aiml2022.html#FrohlichM22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aiml/FrohlichM22
%A Fröhlich, Nicolas
%A Meier, Arne
%B AiML
%D 2022
%E Fernández-Duque, David
%E Palmigiano, Alessandra
%E Pinchinat, Sophie
%I College Publications
%K dblp
%P 391-406
%T Submodel Enumeration of Kripke Structures in Modal Logic.
%U http://dblp.uni-trier.de/db/conf/aiml/aiml2022.html#FrohlichM22
%@ 978-1-84890-413-2
@inproceedings{conf/aiml/FrohlichM22,
added-at = {2024-01-16T00:00:00.000+0100},
author = {Fröhlich, Nicolas and Meier, Arne},
biburl = {https://www.bibsonomy.org/bibtex/253b0464aacb518d5296a69d5fd2bdec9/dblp},
booktitle = {AiML},
crossref = {conf/aiml/2022},
editor = {Fernández-Duque, David and Palmigiano, Alessandra and Pinchinat, Sophie},
ee = {http://www.aiml.net/volumes/volume14/24-Froehlich-Meier.pdf},
interhash = {a8bd5b69caa2bb86495076c386c6d1e9},
intrahash = {53b0464aacb518d5296a69d5fd2bdec9},
isbn = {978-1-84890-413-2},
keywords = {dblp},
pages = {391-406},
publisher = {College Publications},
timestamp = {2024-04-09T20:03:23.000+0200},
title = {Submodel Enumeration of Kripke Structures in Modal Logic.},
url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2022.html#FrohlichM22},
year = 2022
}