„decidable“
Suchergebnisse
1.000+ Treffer
-
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics
-
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts
-
Lagrange's Theorem for Binary Squares
-
Automatic authorization analysis
-
Model Theory in Algebra, Analysis and Arithmetic – Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori
-
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
-
Termination of Triangular Integer Loops is Decidable
-
Regular tree languages, cardinality predicates, and addition-invariant FO
-
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
-
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
-
Reachability Problems – 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
-
Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics.
-
Negated String Containment Is Decidable
-
Decidable Models of Ehrenfeucht Theories
-
Patterns for legal compliance checking in a decidable framework of linked open data
-
Consistent Ultrafinitist Logic
-
The 2-Dimensional Constraint Loop Problem Is Decidable
-
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
-
On Homogeneous Models of Fluted Languages
-
A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic