-
01.10.1985First International Conference on Rewriting Techniques and Applications
-
06.04.1993
This volume contains the proceedings of the fourthInternational JointConference on the Theory and...
-
18.11.2011
This book constitutes the referred proceedings of the First International Conference on Certified...
-
24.08.1994
This volume constitutes the proceedings of the First International Conference on Constraints in C...
-
22.06.1988
The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (Univers...
-
22.06.2006
Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research c...
-
01.09.1985
Miranda: A non-strict functional language with polymorphic types.- Data flow graph optimization i...
-
25.04.1995
This volume contains thoroughly revised versions of the contributions presented at the French Spr...
- 1