Term Rewriting Techniques for Systems Based on Generator Induction

Term Rewriting Techniques for Systems Based on Generator Induction

Term Rewriting Techniques for Systems Based on Generator Induction

Authors: O. Lysne
Status: Published
Publication type: Thesis
Year of publication: 1991
Journal: -
Publisher: Department of Informatics, University of Oslo
Citation key: 12804

Google Scholar BibTex