FB 3
Group BKB
>
Publications
>
Search
>
Deutsch
English
Publications Search - Details
Publication type:
Technical Report
Author:
H. Shi, B. Wolff
Title:
A Finitary Matching Algorithm for Constructor-Based Theories
Year published:
1994
Institution:
Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen
Status:
Other
Last updated:
11. 03. 2004
Back to result list
Author: Automatically generated page
Group BKB
Last updated: May 9, 2023