Login / Signup
Some Natural Structures which Fail to Possess a Sound and Decidable Hoare-Like Logic for their While-Programs.
Jan A. Bergstra
John V. Tucker
Published in:
Theor. Comput. Sci. (1982)
Keyphrases
</>
logic programming
dynamic logic
linear time temporal logic
automated reasoning
classical logic
function symbols
answer sets
computer programs
predicate logic
real world
fixpoint
relational structures