Skip to content

On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs.

Reinhard Bndgen

VenueACADE
Year1994
ProceedingsCADE

Browse the full CADE paper archive.