Skip to content
<title>Channels - The Covering Problem :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
The Covering Problem
Search for more channels:
Similar Items: The Covering Problem
Channel Options
View Record
Explore related channels
Quick Look
Front Cover
Quick Look
Completeness for the coalgebraic cover modality
Quick Look
Covering and separation for logical fragments with modular predicates
Quick Look
Relation lifting, with an application to the many-valued cover modality
Quick Look
The Ho-Zhao Problem
Quick Look
Definable isomorphism problem
Quick Look
The Big-O Problem
Quick Look
The Church Synthesis Problem with Parameters
Quick Look
The Church Problem for Countable Ordinals
Quick Look
The Complexity of Rooted Phylogeny Problems
Quick Look
Unsolvability Cores in Classification Problems
Quick Look
Decidability Results for the Boundedness Problem
Quick Look
Decidability Problems for Actor Systems
Quick Look
Complexity of Problems of Commutative Grammars
Quick Look
Quantified Constraints and Containment Problems
Quick Look
The Expansion Problem for Infinite Trees
Quick Look
A Novel Detection Approach for Quasi-Convex Quadrilateral Aircraft Covers
Quick Look
Logical compactness and constraint satisfaction problems
Quick Look
Reasoning about Strategies: on the Satisfiability Problem
Quick Look
The Algebraic Intersection Type Unification Problem
Quick Look
Regular matching problems for infinite trees
Quick Look
Geometry and Stability of Supervised Learning Problems
Quick Look
Vector Addition System Reversible Reachability Problem
Quick Look
Reachability Problem for Weak Multi-Pushdown Automata
Load more items
View Record
Prev
Explore related channels
Next
