A verified implementation of narrowing
Author: | Heinz Faßbender |
---|---|
ISBN: | 3-540-60359-X |
Parent Title (English): | Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.) |
Publisher: | Springer |
Place of publication: | Berlin [u.a.] |
Document Type: | Article |
Language: | English |
Year of Completion: | 1995 |
Length: | XI, 466 S. : graph. Darst. |
First Page: | 63 |
Last Page: | 80 |
Note: | (Lecture notes in computer science ; 982) |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |