Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Associative-Commutative Unification
Author(s)
F. Fages
Type
Article in Journal
Length
19
ISSN
0747-7171
Language
English
Journal
Journal of Symbolic Computation
Volume
3
Number
3
Pages
257--275
Year
1987
Translation
No
Refereed
Yes
Webmaster