Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism.

Konstantinos Mamouras

Published in: FoSSaCS (2015)

Keyphrases

multi valued
website
logic synthesis
information systems
logic programming
modal logic
logical framework
classical logic
predicate logic
functional programs
domain specific
asynchronous circuits
program synthesis
proof theory