Enumeration reducibility in closure spaces with applications to logic and algebra.
Emmanuel JeandelPublished in: LICS (2017)
Keyphrases
- boolean algebra
- set theory
- algebraic structure
- modal logic
- search space
- relation algebra
- predicate logic
- logic programming
- relational algebra
- asynchronous circuits
- query language
- dynamic programming
- logical framework
- computational properties
- delay insensitive
- algebraic expressions
- multi valued
- learning algorithm
- automated reasoning
- data model
- knowledge base