Thompson Transformations for If-Logic.

Francien Dechesne

Published in: Synth. (2006)

Keyphrases

logic programming
modal logic
multi valued
automated reasoning
proof theory
genetic algorithm
asynchronous circuits
machine learning
artificial intelligence
computational properties
set theory
predicate logic