VSL 2014: VIENNA SUMMER OF LOGIC 2014

CHR 2014 CORR PROCEEDINGS: AUTHOR INDEX

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index
Shortcuts: BCFGLN
B
Bezem, Marc
Coherent Logic and Applications (PDF, talk)
C
Cervesato, Iliano
Constraint Handling Rules with Multiset Comprehension Patterns (PDF, talk)
F
Fruehwirth, Thom
From XML Schema to JSON Schema: Translation with CHR (PDF, talk)
G
Gerlich, Ralf
Automated Test Case Generation and Model Checking with CHR (PDF, talk)
L
Lam, Edmund Soon Lee
Constraint Handling Rules with Multiset Comprehension Patterns (PDF, talk)
N
Nogatz, Falco
From XML Schema to JSON Schema: Translation with CHR (PDF, talk)
Disclaimer | Powered by EasyChair Smart Program