J.-P. Jouannaud (jouannaud)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Dershowitz, Nachum and Jouannaud, J.-P. 1990. “Rewrite Systems.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 243–320. Cambridge, Massachusetts: The MIT Press.