Flow Logic.

Orna Kupferman Gal Vardi

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

computational properties
logic programming
flow field
multi valued
modal logic
predicate logic
flow patterns
logic programs
classical logic
defeasible logic
asynchronous circuits
database
multi agent systems
information flow
delay insensitive