Deciding KAT and Hoare Logic with Derivatives

Ricardo Almeida Sabine Broda Nelma Moreira

Published in: GandALF (2012)

Keyphrases

higher order
multi valued
pairwise
proof theory
asynchronous circuits
predicate logic
classical logic
directional derivatives
neural network
delay insensitive
abductive reasoning
formal theory
computational properties
logic programming
knowledge representation
artificial intelligence
information retrieval