Login / Signup

The Word Problem for Smullyan's Lark Combinator is Decidable.

Richard Statman
Published in: J. Symb. Comput. (1989)
Keyphrases
  • word problems
  • similar problems
  • first order logic
  • datalog programs
  • grade students