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 |
| Date of the Publication (Server): | 2012/12/18 |
| 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 |
