Single Versus Simultaneous Equational Unification and Equational unification for Variable-Permuting Theories

Authors
P.Narendran,F.Otto
Citation
P.narendran,f.otto, Single Versus Simultaneous Equational Unification and Equational unification for Variable-Permuting Theories, Journal of automated reasoning , 19(1), 1997, pp. 87-115
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
19
Issue
1
Year of publication
1997
Pages
87 - 115
Database
ACNP
SICI code