Login / Signup

are decidable.

Steve Giambrone
Published in: J. Philos. Log. (1985)
Keyphrases
  • first order logic
  • transitive closure
  • objective function
  • expressive power
  • user interface
  • datalog programs
  • polynomial hierarchy
  • linear time temporal logic
  • computation tree logic