Skip to content
<title>Channels - FO Model Checking of Interval Graphs :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
FO Model Checking of Interval Graphs
Search for more channels:
Similar Items: FO Model Checking of Interval Graphs
Channel Options
View Record
Explore related channels
Quick Look
Faster Existential FO Model Checking on Posets
Quick Look
FO2(
Quick Look
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
Quick Look
Deciding definability in FO2(
Quick Look
Model Checking Lower Bounds for Simple Graphs
Quick Look
On logical hierarchies within FO^2-definable languages
Quick Look
Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
Quick Look
Using models to model-check recursive schemes
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Geometric Model Checking of Continuous Space
Quick Look
Real-Time Model-Checking: Parameters everywhere
Quick Look
Linear Encodings of Bounded LTL Model Checking
Quick Look
Antichains for the Automata-Based Approach to Model-Checking
Quick Look
Intuitionistic implication makes model checking hard
Quick Look
Efficient CSL Model Checking Using Stratification
Quick Look
Model-Checking of Ordered Multi-Pushdown Automata
Quick Look
Model Checking Spatial Logics for Closure Spaces
Quick Look
Model-Checking Problems as a Basis for Parameterized Intractability
Quick Look
The Complexity of Model Checking Higher-Order Fixpoint Logic
Quick Look
Model Checking Synchronized Products of Infinite Transition Systems
Quick Look
Model Checking One-clock Priced Timed Automata
Quick Look
Multi-Objective Model Checking of Markov Decision Processes
Quick Look
Model Checking CTL is Almost Always Inherently Sequential
Quick Look
Software Model Checking with Explicit Scheduler and Symbolic Threads
Load more items
View Record
Prev
Explore related channels
Next
