Skip to content
<title>Channels - Deciding Conditional Termination :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Deciding Conditional Termination
Search for more channels:
Similar Items: Deciding Conditional Termination
Channel Options
View Record
Explore related channels
Quick Look
Decidability for Sturmian words
Quick Look
Decidability Results for the Boundedness Problem
Quick Look
Decidability Problems for Actor Systems
Quick Look
Decidability of higher-order matching
Quick Look
Deciding Kleene Algebras in Coq
Quick Look
Deciding definability in FO2(
Quick Look
Algebraic Notions of Termination
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
Deciding Equations in the Time Warp Algebra
Quick Look
Local Termination: theory and practice
Quick Look
Termination in Convex Sets of Distributions
Quick Look
Hydra Battles and AC Termination
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
A decidable characterization of locally testable tree languages
Quick Look
Deciding the value 1 problem for probabilistic leaktight automata
Quick Look
Infinite and Bi-infinite Words with Decidable Monadic Theories
Quick Look
Semi-continuous Sized Types and Termination
Load more items
View Record
Prev
Explore related channels
Next
