Gilles Bernot;Michel Bidoit
-;-
Observational proofs by rewriting
Theoretical Computer Science
Observational Logic
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology