Absolute Explicit Unification

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/10721975_3 ◽

2000 ◽

pp. 31-46 ◽

Cited By ~ 3

Author(s):

Nikolaj Bjørner ◽

César Muñoz

Download Full-text