%0 Conference Paper %1 conf/lics/HetzlJ24 %A Hetzl, Stefan %A Jalali, Raheleh %B LICS %D 2024 %E Sobocinski, Pawel %E Lago, Ugo Dal %E Esparza, Javier %I ACM %K dblp %P 45:1-45:13 %T On the Completeness of Interpolation Algorithms. %U http://dblp.uni-trier.de/db/conf/lics/lics2024.html#HetzlJ24

@inproceedings{conf/lics/HetzlJ24, added-at = {2024-06-24T00:00:00.000+0200}, author = {Hetzl, Stefan and Jalali, Raheleh}, biburl = {https://www.bibsonomy.org/bibtex/23e0c6a39675bbb1c2418ed5849c7f5a6/dblp}, booktitle = {LICS}, crossref = {conf/lics/2024}, editor = {Sobocinski, Pawel and Lago, Ugo Dal and Esparza, Javier}, ee = {https://doi.org/10.1145/3661814.3662112}, interhash = {02189f06e6f80c233ae6c2d6c82f4bf8}, intrahash = {3e0c6a39675bbb1c2418ed5849c7f5a6}, keywords = {dblp}, pages = {45:1-45:13}, publisher = {ACM}, timestamp = {2024-07-01T07:09:37.000+0200}, title = {On the Completeness of Interpolation Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2024.html#HetzlJ24}, year = 2024 }