Skip to content
<title>Channels - Decidability for Sturmian words :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Decidability for Sturmian words
Search for more channels:
Similar Items: Decidability for Sturmian words
Channel Options
View Record
Explore related channels
Quick Look
Infinite and Bi-infinite Words with Decidable Monadic Theories
Quick Look
On the decidability and complexity of Metric Temporal Logic over finite words
Quick Look
Deciding Conditional Termination
Quick Look
Decidability of higher-order matching
Quick Look
Deciding Kleene Algebras in Coq
Quick Look
Decidability Results for the Boundedness Problem
Quick Look
Decidability Problems for Actor Systems
Quick Look
Deciding definability in FO2(
Quick Look
Deciding Equations in the Time Warp Algebra
Quick Look
Decidable Expansions of Labelled Linear Orderings
Quick Look
The logical strength of Büchi's decidability theorem
Quick Look
Decidability for Entailments of Symbolic Heaps with Arrays
Quick Look
A Reduced Semantics for Deciding Trace Equivalence
Quick Look
Definability and Interpolation within Decidable Fixpoint Logics
Quick Look
Bounded Reachability Problems are Decidable in FIFO Machines
Quick Look
Synchronizability of Communicating Finite State Machines is not Decidable
Quick Look
Craig Interpolation for Decidable First-Order Fragments
Quick Look
Decidability of extensions of Presburger arithmetic by generalised polynomials
Quick Look
Transfinite Lyndon words
Quick Look
A decidable characterization of locally testable tree languages
Quick Look
Deciding the value 1 problem for probabilistic leaktight automata
Quick Look
Boundedness in languages of infinite words
Quick Look
Streamability of nested word transductions
Quick Look
Synthesis of Data Word Transducers
Load more items
View Record
Prev
Explore related channels
Next
