Reviews matching “Equational theories and equivalences of programs”

1 result

BookAuthorReviewerJournalDate
Equational theories and equivalences of programs B. Courcelle Steven S. Muchnick The Journal of Symbolic Logic 1984

Open this search with filters