Affordable Access

Automated deduction with associative comutative operators

Authors
Publication Date
Source
OpenGrey Repository
Keywords
  • 09H - Computer Software, Programming
  • Automated Deduction With Associative Comutative Operators [ Associative And Commutative Theory
  • Paramodulation
  • Resolution
  • Term Rewriting]
External links

Abstract

France

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments
F