Some applications of logic to feasibility in higher types.

Aleksandar Ignjatovic Arun Sharma

Published in: ACM Trans. Comput. Log. (2004)

Keyphrases

classical logic
asynchronous circuits
data sets
artificial intelligence
computer vision
decision trees
logic programming
multi valued
linear logic