Another Incompleteness Result for Hoare's Logic

Jan A. Bergstra Anna Chmielinska Jerzy Tiuryn

Published in: Inf. Control. (1982)

Keyphrases

logic programming
neural network
genetic algorithm
social networks
web services
case study
database systems
modal logic
automated reasoning
computational properties
nonmonotonic logics