Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleAssociative-Commutative Unification
Author(s) F. Fages
TypeArticle in Journal
Length19
ISSN0747-7171
LanguageEnglish
Journal Journal of Symbolic Computation
Volume3
Number3
Pages257--275
Year1987
Translation No
Refereed Yes
Webmaster