Similar Items: Unsolvability Cores in Classification Problems
- Complexity classifications for different equivalence and audit problems for Boolean circuits
- Cores of Countably Categorical Structures
- Of Cores: A Partial-Exploration Framework for Markov Decision Processes
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
- Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
- The Covering Problem