Coalgebraic Logic and Synthesis of Mealy Machines.

Marcello M. Bonsangue Jan J. M. M. Rutten Alexandra Silva

Published in: FoSSaCS (2008)

Keyphrases

logic synthesis
classical logic
functional programs
logic programming
automated reasoning
data mining
information retrieval
modal logic
predicate logic
program synthesis
databases
formal theory
asynchronous circuits
proof theory
delay insensitive