Search in the Catalogues and Directories

Hits 1 – 3 of 3

1	Autowrite: A Tool for Checking Properties of Term Rewriting Systems
	Durand, Irène
	In: Proceedings of the 13th International Conference on Rewriting Systems ; 13th International Conference on Rewriting Techniques and Applications ; https://hal.archives-ouvertes.fr/hal-00344294 ; 13th International Conference on Rewriting Techniques and Applications, 2002, Denmark. pp.371--375 (2002)
	BASE
	Show details

2	On the Modularity of Deciding Call-by-Need
	Durand, Irène,; Middeldorp, Aart
	In: Foundations of Software Science and Computation Structures ; https://hal.archives-ouvertes.fr/hal-00344304 ; Foundations of Software Science and Computation Structures, 2001, Italy. pp.199-213 (2001)
	BASE
	Show details

3	Decidable Call by Need Computations in Term Rewriting
	Durand, Irène,; Middeldorp, Aart
	In: Proceedings of the 14th International Conference on Automated Deduction ; 14th International Conference on Automated Deduction ; https://hal.archives-ouvertes.fr/hal-00344328 ; 14th International Conference on Automated Deduction, 1997, Australia. pp.4--18 (1997)
	BASE
	Show details