%0 Conference Paper %1 conf/RelMiCS/Kappe23 %A Kappé, Tobias %B RAMiCS %D 2023 %E Glück, Roland %E Santocanale, Luigi %E Winter, Michael %I Springer %K dblp %P 158-175 %T Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. %U http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2023.html#Kappe23 %V 13896 %@ 978-3-031-28083-2

@inproceedings{conf/RelMiCS/Kappe23, added-at = {2023-05-13T00:00:00.000+0200}, author = {Kappé, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2bc2c3c5cdc3fe234849c76d0911636b7/dblp}, booktitle = {RAMiCS}, crossref = {conf/RelMiCS/2023}, editor = {Glück, Roland and Santocanale, Luigi and Winter, Michael}, ee = {https://doi.org/10.1007/978-3-031-28083-2_10}, interhash = {62d96f83579c27e2ac7d5f3d242abd21}, intrahash = {bc2c3c5cdc3fe234849c76d0911636b7}, isbn = {978-3-031-28083-2}, keywords = {dblp}, pages = {158-175}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:45:52.000+0200}, title = {Completeness and the Finite Model Property for Kleene Algebra, Reconsidered.}, url = {http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2023.html#Kappe23}, volume = 13896, year = 2023 }