Term-generic logic.

Andrei Popescu Grigore Rosu

Published in: Theor. Comput. Sci. (2015)

Keyphrases

modal logic
domain specific
logic programming
classical logic
automated reasoning
multi valued
computational properties
predicate logic
digital circuits
learning algorithm
high level
image sequences
application specific
generic model
deontic logic
propositional dynamic logic