Login / Signup

Some Natural Structures which Fail to Possess a Sound and Decidable Hoare-Like Logic for their While-Programs.

Jan A. BergstraJohn 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