ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unification
Source Journal of Automated Reasoning archive
Volume 3 ,  Issue 3  (September 1987) table of contents
Pages: 285 - 289  
Year of Publication: 1987
ISSN:0168-7433
Author
Mark E. Stickel  SRI International, Menlo Park
Publisher
Kluwer Academic Publishers  Hingham, MA, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 1
Additional Information:

cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  

CITED BY
Wray L. Buntine , Hans-Jürgen Bürckert, On solving equations and disequations, Journal of the ACM (JACM), v.41 n.4, p.591-629, July 1994

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.2 DISCRETE MATHEMATICS

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE


General Terms:
Algorithms, Theory

Collaborative Colleagues:
Mark E. Stickel: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player