Efficient implementation of basic narrowing

Abstract: "This paper presents an efficient method of implementing reduction and narrowing in Metis. Metis is a term rewriting system generator developed at the Institute for New Generation Computer Technology (ICOT). Its main facilities are the Knuth-Bendix completion procedure, refutational t...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Ohsuga, Akihiko (VerfasserIn), Sakai, Ko (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1989
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical memorandum 700
Schlagworte:	Rewriting systems (Computer science)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!