A Decidability Result for a Second Order Process Logic

Published in: FOCS (1978)

Keyphrases

database
automated reasoning
data sets
real world
information systems
higher order
logic programs
logic programming
development process