Login / Signup

Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols.

Franz BaaderDeepak Kapur
Published in: IJCAR (1) (2020)
Keyphrases
  • word problems
  • similar problems
  • definite clause
  • grade students
  • significantly higher