Search results
From MaRDI portal
- of lists 2000-01-12 Paper Definability, decidability, complexity 1997-07-01 Paper Definability and decidability issues in extensions of the integers with...10 bytes (16 words) - 02:56, 9 December 2023
- 2015-04-09 Paper A comprehensive picture of the decidability of mereological theories 2013-12-05 Paper Decidability of general extensional mereology 2013-06-27...10 bytes (18 words) - 10:40, 11 December 2023
- 2012-06-29 Paper Reachability is decidable for weakly extended process rewrite systems 2009-06-11 Paper On decidability of LTL model checking for process...10 bytes (16 words) - 18:09, 12 December 2023
- de/entity/Q3868790 1979-01-01 Paper A decidability result for deterministic \(\omega\)-context-free languages 1977-01-01 Paper The decidability of the dol prefix problem...10 bytes (16 words) - 01:31, 13 December 2023
- Publication Type Decidability of \(\exists^*\forall\forall\)-sentences in HF 2010-01-13 Paper Truth In V for ∃*∀∀-Sentences is Decidable 2007-01-19 Paper...10 bytes (16 words) - 07:37, 13 December 2023
- de/entity/Q4893143 1996-11-07 Paper Decidability and completeness for open formulas of membership theories 1996-05-13 Paper Decidability of ∀*∀‐Sentences in Membership...10 bytes (16 words) - 21:44, 12 December 2023
- 1997-09-03 Paper Decidability for ℤ[G‐Modules when G is Cyclic of Prime Order] 1997-06-11 Paper Decidable representations 1996-04-24 Paper Decidability for modules...10 bytes (17 words) - 21:20, 8 December 2023
- Publication Date of Publication Type The Decidability of the Structural Congruence for Beta-binders 2013-12-06 Paper On the computational power of BlenX...10 bytes (17 words) - 06:47, 13 December 2023
- violations to query large inconsistent data via ASP 2017-11-09 Paper Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming...10 bytes (16 words) - 15:39, 12 December 2023
- modalities and of total derivability in grammars 2022-01-13 Paper On decidability of theories of regular languages 2021-08-03 Paper On undecidability of...10 bytes (18 words) - 00:36, 10 December 2023
- ``On the decidability of semilinearity for semialgebraic sets and its implications for spatial databases 2000-07-25 Paper On the decidability of semilinearity...10 bytes (16 words) - 01:52, 9 December 2023
- with states 2017-10-27 Paper Decidability of DPDA Language Equivalence via First-Order Grammars 2017-05-16 Paper Deciding Structural Liveness of Petri...10 bytes (16 words) - 02:05, 9 December 2023
- 2019-08-21 Paper On the classification of bases in \(P_k\) according to the decidability of the completeness problem for automata 2014-06-06 Paper Efficient recognition...10 bytes (18 words) - 23:19, 12 December 2023
- 1971-01-01 Paper The strong decidability of cut-logics. I: Partial propositional calculi 1971-01-01 Paper The strong decidability of cut logics. II. Generalizations...10 bytes (20 words) - 11:33, 13 December 2023
- Hilbert’s Tenth Problem: Definability and Decidability in Number Theory 2020-08-06 Paper First-order decidability and definability of integers in infinite...10 bytes (16 words) - 05:23, 9 December 2023
- \(\langle\mathbb{R},+,<,1\rangle\) is decidable in \(\langle \mathbb{R},+,<,\mathbb{Z}\rangle\) 2020-07-27 Paper Complexity and (Un)decidability of Fragments of 〈 ω ω...10 bytes (16 words) - 23:52, 12 December 2023
- 2010-11-22 Paper Decidability of higher-order matching 2009-08-20 Paper Dependency Tree Automata 2009-03-31 Paper A Game-Theoretic Approach to Deciding Higher-Order...10 bytes (16 words) - 02:53, 9 December 2023
- Notes on model theory of modules over Dedekind domains 2024-02-21 Paper Decidability for the Theory of Modules over a Prüfer Domain 2024-01-25 Paper Maranda’s...10 bytes (16 words) - 19:23, 6 October 2023
- 1980-01-01 Paper On some decidability problems for HDOL systems with nonsingular Parikh matrices 1979-01-01 Paper The decidability of the FOL-DOL equivalence...10 bytes (16 words) - 11:49, 12 December 2023
- results concerning synchronized finite automata 2019-12-04 Paper New decidability results concerning two-way counter machines and applications 2019-03-29...10 bytes (18 words) - 23:55, 11 December 2023
