FB 3
AG BKB
>
Publikationen
>
Suche
>
Deutsch
English
Suche nach Veröffentlichungen - Detailansicht
Art der Veröffentlichung:
Technischer Bericht
Autor:
H. Shi, B. Wolff
Titel:
A Finitary Matching Algorithm for Constructor-Based Theories
Erscheinungsjahr:
1994
Institution:
Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen
Status:
Other
Letzte Aktualisierung:
11. 03. 2004
Zurück zum Suchergebnis
Autor: Automatisch generierte Seite
AG BKB
Zuletzt geändert am: 9. Mai 2023