Equational theories and equivalences of programs

by B. Courcelle · 1 review · 1984

Metaphysics & Logic

Also by Courcelle

• Connais-toi Toi-même: De Socrate à Saint Bernard, V3 (1 review)
• Graph structure and monadic second-order logic. Encyclopedia of Mathematics and Its Applications, vol. 138 Bruno Courcelle Joost Engelfriet (1 review)
• Recherches sur les Confessions de Saint Augustin (1 review)

Search PhilReviews for this title