Program Logic Without Binding is Decidable.

Vaughan R. Pratt

Published in: POPL (1981)

Keyphrases

linear time temporal logic
modal logic
logic programming
functional programs
automata theoretic
database
test cases
gene expression
expressive power
automated reasoning
classical logic
datalog programs
declarative semantics
proof theory
programs written
monadic second order logic