Maximal Synthesis for Hennessy-Milner Logic.

A. C. van Hulst Michel A. Reniers Wan J. Fokkink

Published in: ACSD (2013)

Keyphrases

logic synthesis
multi valued
functional programs
genetic algorithm
logic programming
classical logic
proof theory
program synthesis
defeasible logic
real time
computational properties
logical framework
predicate logic
automated reasoning
logic circuits
multiscale
machine learning
deductive reasoning
real world