Liret, A., Roy, P. and Pachet, F. Combining Formal Reasoning Techniques and CSP. ERCIM Workshop on Constraint Programming and Processing, Linz, 1997

Sony CSL authors: Fran├žois Pachet, Pierre Roy

Keywords: constraint programming, rewriting, formal reasoning

Downloads

[PDF] Adobe Acrobat PDF file

BibTeX entry

@INPROCEEDINGS { liret:97a, ADDRESS="Linz", AUTHOR="Liret, A., and Roy, P. and Pachet, F.", BOOKTITLE="ERCIM Workshop on Constraint Programming and Processing", TITLE="Combining Formal Reasoning Techniques and CSP", YEAR="1997", }