%0 Conference Paper %1 conf/dali/ChenL23 %A Chen, Qian %A Li, Dazhu %B DaLí %D 2023 %E Gierasimczuk, Nina %E Velázquez-Quesada, Fernando R. %I Springer %K dblp %P 20-34 %T Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. %U http://dblp.uni-trier.de/db/conf/dali/dali2023.html#ChenL23 %V 14401 %@ 978-3-031-51777-8

@inproceedings{conf/dali/ChenL23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Chen, Qian and Li, Dazhu}, biburl = {https://www.bibsonomy.org/bibtex/250f1642657f625d6d217293304414865/dblp}, booktitle = {DaLí}, crossref = {conf/dali/2023}, editor = {Gierasimczuk, Nina and Velázquez-Quesada, Fernando R.}, ee = {https://doi.org/10.1007/978-3-031-51777-8_2}, interhash = {591d436e1c463fca5787a81b78487083}, intrahash = {50f1642657f625d6d217293304414865}, isbn = {978-3-031-51777-8}, keywords = {dblp}, pages = {20-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:39:18.000+0200}, title = {Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.}, url = {http://dblp.uni-trier.de/db/conf/dali/dali2023.html#ChenL23}, volume = 14401, year = 2023 }