%0 Conference Paper %1 conf/csl/Vardi24 %A Vardi, Moshe Y. %B CSL %D 2024 %E Murano, Aniello %E Silva, Alexandra %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 6:1-6:1 %T Logical Algorithmics: From Theory to Practice (Invited Talk). %U http://dblp.uni-trier.de/db/conf/csl/csl2024.html#Vardi24 %V 288 %@ 978-3-95977-310-2

@inproceedings{conf/csl/Vardi24, added-at = {2024-02-07T00:00:00.000+0100}, author = {Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2a7295143fc56c4c4a7f8075ee7fba3d2/dblp}, booktitle = {CSL}, crossref = {conf/csl/2024}, editor = {Murano, Aniello and Silva, Alexandra}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2024.6}, interhash = {899ca8ac762842c23dc6180f6e628d8e}, intrahash = {a7295143fc56c4c4a7f8075ee7fba3d2}, isbn = {978-3-95977-310-2}, keywords = {dblp}, pages = {6:1-6:1}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T00:39:16.000+0200}, title = {Logical Algorithmics: From Theory to Practice (Invited Talk).}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2024.html#Vardi24}, volume = 288, year = 2024 }