%0 Conference Paper %1 conf/mfcs/BulinK23 %A Bulín, Jakub %A Kompatscher, Michael %B MFCS %D 2023 %E Leroux, Jérôme %E Lombardy, Sylvain %E Peleg, David %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 28:1-28:15 %T Short Definitions in Constraint Languages. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2023.html#BulinK23 %V 272 %@ 978-3-95977-292-1

@inproceedings{conf/mfcs/BulinK23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bulín, Jakub and Kompatscher, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2900325e225b0726424a1dd9d0086cf18/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2023}, editor = {Leroux, Jérôme and Lombardy, Sylvain and Peleg, David}, ee = {https://doi.org/10.4230/LIPIcs.MFCS.2023.28}, interhash = {ed733d0bd1156195a31442266309977d}, intrahash = {900325e225b0726424a1dd9d0086cf18}, isbn = {978-3-95977-292-1}, keywords = {dblp}, pages = {28:1-28:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:45:01.000+0200}, title = {Short Definitions in Constraint Languages.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2023.html#BulinK23}, volume = 272, year = 2023 }