„decidable theory“
Suchergebnisse
1.000+ Treffer
-
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics
-
Lagrange's Theorem for Binary Squares
-
Model Theory in Algebra, Analysis and Arithmetic – Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori
-
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
-
Reachability Problems – 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
-
The Identity Problem in ℤ ≀ ℤ Is Decidable
-
A Characterization of Wreath Products Where Knapsack Is Decidable
-
What Makes a Variant of Query Determinacy (Un)Decidable? (Invited Talk)
-
Equivalence of Finite-Valued Streaming String Transducers Is Decidable (Track B: Automata, Logic, Semantics, and Theory of Programming)
-
Semantics of Intensional Type Theory extended with Decidable Equational Theories
-
Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable
-
The FO2 alternation hierarchy is decidable
-
Two decidable classes of formulas of the modal logic S5
-
A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
-
Decidable Regression Techniques for Statistical Modelling with Sustainable Agriculture Operations
-
Complexity of Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints Between Regular Open Terms
-
It is decidable whether a monadic thue system is canonical over a regular set
-
Une Relation d'Equivalence Decidable sur la Classe des Forêts Reconnaissables
-
The equivalence of deterministic gsm replications onQ-rational languages is decidable
-
The equivalence of pre-NTS grammars is decidable