Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees

Erstveröffentlichung
2007
Metadata only
Search for full text
Beitrag zu einer Konferenz


Authors
Djelloul, Khalil
Dao, T.-B.-H.
Frühwirth, Thom
Editor
Hung, C. C.
Rosa, A.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Published in
Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007. - New York : ACM Press, 2007. - S. 58-64. - ISBN 978-1-59593-480-2
Link to publication
https://dx.doi.org/10.1145/1244002.1244016
Conference
ACM Symposium of Applied Computing, 2007-03-11 - 2007-03-15, Seoul
Dewey Decimal Group
DDC 000 / Computer science, information & general works
Metadata
Show full item record