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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007)
Michael Jackson. Structural Relationships among Models. In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{jackson:DagSemProc.06351.10, author = {Jackson, Michael}, title = {{Structural Relationships among Models}}, booktitle = {Methods for Modelling Software Systems (MMOSS)}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6351}, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.10}, URN = {urn:nbn:de:0030-drops-8633}, doi = {10.4230/DagSemProc.06351.10}, annote = {Keywords: Composition, model, problem, requirement, specificaiton, structure, subproblem} }
Feedback for Dagstuhl Publishing