Skip to content

Inductive theories from equational systems.

Michael Bulmer

VenueBPRICAI
Year1996
ProceedingsPRICAI Workshops

Browse the full PRICAI paper archive.