Une sémantique complète pour CHR en logique des transactions

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


Authors
Meister, Marc
Djelloul, Khalil
Robin, J.
Editor
Deransart, P.
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Published in
Programmation par Contraintes, Troisièmes Journées Francophones2007. - S. 130-138
Conference
Troisièmes Journées Francophones de Programmationpar Contraintes, 2007-06, Rocquencourt
Dewey Decimal Group
DDC 000 / Computer science, information & general works
Metadata
Show full item record