Semantic unification for convergent systems

Authors:
Subrata Mitra
Affiliations:
Univ. of Illinois at Urbana-Champaign
Venue:
Semantic unification for convergent systems
Year:
1995

Citing 0
Cited 2

Jeopardy

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Variant Narrowing and Equational Unification

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract