• Treffer 1129 von 1186
Zurück zur Trefferliste

A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian

Metadaten exportieren

Weitere Dienste

Teilen auf X Suche bei Google Scholar
Metadaten
Verfasserangaben:Heinz Faßbender, Sebastian Maneth
ISBN:3-540-61735-3
Titel des übergeordneten Werkes (Englisch):Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)
Verlag:Springer
Verlagsort:Berlin [u.a.]
Dokumentart:Wissenschaftlicher Artikel
Sprache:Englisch
Erscheinungsjahr:1996
Datum der Publikation (Server):18.12.2012
Umfang:VIII, 344 S. : graph. Darst.
Erste Seite:194
Letzte Seite:208
Bemerkung:
(Lecture notes in computer science ; 1139)
Link:http://dx.doi.org/10.1007/3-540-61735-3_13
Zugriffsart:campus
Fachbereiche und Einrichtungen:FH Aachen / Fachbereich Elektrotechnik und Informationstechnik