From Hoare Logic to Matching Logic Reachability.

Grigore Rosu Andrei Stefanescu

Published in: FM (2012)

Keyphrases

logic programming
matching algorithm
defeasible logic
predicate logic
neural network
website
modal logic
matching process
multi valued
logic synthesis
multiscale
multi agent systems
dynamic programming
expressive power
automated reasoning
computational properties