Books · Search
Congresses · Rewriting systems (Computer science)
Term rewriting
1995
Constraint programming (computer science) · Logic programming
Constraints in Computational Logics : Theory and Applications
2003
Computer Aided Verification
Rewriting, Computation and Proof
2007
Activite Numerique No.913-914
Computer programming · Rewriting systems (Computer science)
Rewriting techniques and applications
1997
Rewriting systems (Computer science) · Congresses
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993
Rewriting Techniques and Applications
Logic design · Computer science
Constraint programming (Computer science) · Congresses
Constraints in computational logics
2001
