%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 }