Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)
Ethan K. Jackson, Nikolaj Bjørner, and Wolfram Schulte. Canonical Regular Types. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 73-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{jackson_et_al:LIPIcs.ICLP.2011.73, author = {Jackson, Ethan K. and Bj{\o}rner, Nikolaj and Schulte, Wolfram}, title = {{Canonical Regular Types}}, booktitle = {Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)}, pages = {73--83}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-31-6}, ISSN = {1868-8969}, year = {2011}, volume = {11}, editor = {Gallagher, John P. and Gelfond, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.73}, URN = {urn:nbn:de:0030-drops-31806}, doi = {10.4230/LIPIcs.ICLP.2011.73}, annote = {Keywords: Regular types, Canonical forms, Type canonizer} }
Feedback for Dagstuhl Publishing