Hoare's Logic for Programs with Procedures - What Has Been Achieved?.

Ernst-Rüdiger Olderog

Published in: Logic of Programs (1983)

Keyphrases

dynamic logic
logic programming
epistemic logic
agent programming
artificial intelligence
multi valued
classical logic
defeasible logic
digital circuits
data mining
information retrieval
logic programs
modal logic
computer programs
fixpoint
stable models