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