Skip to content
<title>Channels - Decidability for Entailments of Symbolic Heaps with Arrays :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Decidability for Entailments of Symbolic Heaps with Arrays
Search for more channels:
Similar Items: Decidability for Entailments of Symbolic Heaps with Arrays
Channel Options
View Record
Explore related channels
Quick Look
Relative Entailment Among Probabilistic Implications
Quick Look
Validity and Entailment in Modal and Propositional Dependence Logics
Quick Look
Deciding Conditional Termination
Quick Look
Decidability for Sturmian words
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
Inferring Symbolic Automata
Quick Look
Decidable Expansions of Labelled Linear Orderings
Quick Look
The logical strength of Büchi's decidability theorem
Quick Look
Deciding Equations in the Time Warp Algebra
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
On Interpolation and Symbol Elimination in Theory Extensions
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
Predicate Abstraction via Symbolic Decision Procedures
Load more items
View Record
Prev
Explore related channels
Next
