Combining Decision Algorithms for Matching in the Union of...

Information and Computation 1996 Vol. 126; Iss. 2

Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories

Christophe Ringeissen
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
126
Year:
1996
Language:
english
Pages:
17
DOI:
10.1006/inco.1996.0042
File:
PDF, 1016 KB
english, 1996
Conversion to is in progress
Conversion to is failed