A verified implementation of narrowing
| Verfasserangaben: | Heinz Faßbender |
|---|---|
| ISBN: | 3-540-60359-X |
| Titel des übergeordneten Werkes (Englisch): | Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.) |
| Verlag: | Springer |
| Verlagsort: | Berlin [u.a.] |
| Dokumentart: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1995 |
| Datum der Publikation (Server): | 18.12.2012 |
| Umfang: | XI, 466 S. : graph. Darst. |
| Erste Seite: | 63 |
| Letzte Seite: | 80 |
| Bemerkung: | (Lecture notes in computer science ; 982) |
| Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
