8141 search results - page 57 / 1629 » Higher Order Generalization |
TLCA
1997
Springer
15 years 7 months ago
1997
Springer
ISCAS
1994
IEEE
15 years 7 months ago
1994
IEEE
FPCA
1993
15 years 7 months ago
1993
110
click to vote
FSTTCS
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...