File(s) not publicly available
A logic of definitional reasoning
conference contribution
posted on 2023-05-23, 02:26 authored by Fearnley-Sander, DPNo description available
History
Volume
18Editors
Houle, ME and Eades, PPagination
81-89Department/School
School of Natural SciencesPublisher
Australian Computer Science CommunicationsEvent title
CATS'96Event Venue
MelbourneDate of Event (Start Date)
1996-01-01Date of Event (End Date)
1996-01-01Repository Status
- Restricted