From Separation Logic to Hyperedge Replacement and Back.

Published in: ICGT (2008)

Keyphrases

modal logic
multi valued
classical logic
artificial intelligence
sound and complete axiomatization
image sequences
relational databases
nonmonotonic logics
asynchronous circuits
proof theory