Skip to content
<title>Channels - Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
Search for more channels:
Similar Items: Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
Channel Options
View Record
Explore related channels
Quick Look
Positive fragments of coalgebraic logics
Quick Look
Logic and Branching Automata
Quick Look
On Sub-Propositional Fragments of Modal Logic
Quick Look
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Quick Look
Michel and Mathurin
Quick Look
Lindstrom theorems for fragments of first-order logic
Quick Look
Covering and separation for logical fragments with modular predicates
Quick Look
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Quick Look
A Fragment of Dependence Logic Capturing Polynomial Time
Quick Look
Automata Linear Dynamic Logic on Finite Traces
Quick Look
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Quick Look
On two-variable guarded fragment logic with expressive local Presburger constraints
Quick Look
Online Monitoring of Metric Temporal Logic using Sequential Networks
Quick Look
The intuitionistic temporal logic of dynamical systems
Quick Look
On the Expressiveness and Monitoring of Metric Temporal Logic
Quick Look
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
Quick Look
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Quick Look
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
Quick Look
First-Order and Temporal Logics for Nested Words
Quick Look
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Quick Look
Linear Temporal Logic for Regular Cost Functions
Quick Look
On the Metric Temporal Logic for Continuous Stochastic Processes
Quick Look
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
Quick Look
Logical and Algebraic Characterizations of Rational Transductions
Load more items
View Record
Prev
Explore related channels
Next
