File(s) not publicly available
Inductive Theories from Equational Systems
conference contribution
posted on 2023-05-23, 02:26 authored by Bulmer, MNo description available
History
Editors
Dowe, DL, Korb, KB and Oliver, JJPagination
260-268Department/School
School of Natural SciencesPublisher
Word ScientificEvent title
ISIS'96Event Venue
MelbourneDate of Event (Start Date)
1996-01-01Date of Event (End Date)
1996-01-01Repository Status
- Restricted