Search results
From MaRDI portal
- 2017-09-11 Paper Generic undecidability of existential theory of integer numbers ring 2017-09-06 Paper On the generic undecidability of the halting problem...10 bytes (18 words) - 15:19, 10 December 2023
- numbers and arithmetical dynamic of quadratic polynomials 2020-05-13 Paper Undecidability of ℚ⁽²⁾ 2020-01-29 Paper https://portal.mardi4nfdi.de/entity/Q4605978...10 bytes (18 words) - 15:30, 10 December 2023
- 2008-01-07 Paper On Markov's undecidability theorem for integer matrices. 2007-11-14 Paper Improved matrix pair undecidability results 2007-08-17 Paper Extension...10 bytes (16 words) - 02:54, 9 December 2023
- Paper UNDECIDABILITY AS SOLUTION TO THE PROBLEM OF MEASUREMENT: FUNDAMENTAL CRITERION FOR THE PRODUCTION OF EVENTS 2011-07-25 Paper Undecidability and the...10 bytes (20 words) - 21:39, 11 December 2023
- Diophantine undecidability for addition and divisibility in polynomial rings 2004-11-29 Paper Endomorphisms of elliptic curves and undecidability in function...10 bytes (16 words) - 17:20, 11 December 2023
- 1986-01-01 Paper Invariant transformations of formulas 1984-01-01 Paper Undecidability of the theory of Boolean algebras with automorphism 1983-01-01 Paper...10 bytes (18 words) - 23:43, 11 December 2023
- Resource Bisimilarity in Petri Nets is Decidable 2022-10-07 Paper High undecidability of weak bisimilarity for Petri nets 2022-08-18 Paper Characterization...10 bytes (16 words) - 02:05, 9 December 2023
- de/entity/Q4636301 2018-04-23 Paper Undecidability of the transitive graded modal logic with converse 2018-02-13 Paper Undecidability of the problem of recognizing...10 bytes (18 words) - 13:42, 13 December 2023
- de/entity/Q3491499 1990-01-01 Paper The Undecidability of Theories of Groupoids with an Extra Predicate 1974-01-01 Paper The Undecidability of Theories of Groupoids with...10 bytes (18 words) - 19:36, 26 December 2023
- 2010-01-15 Paper Diophantine undecidability of holomorphy rings of function fields of characteristic 0 2009-12-02 Paper Undecidability in Function Fields of Positive...10 bytes (16 words) - 05:23, 9 December 2023
- fixed points of rational transductions 2018-06-07 Paper A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem 2018-01-19 Paper Walks...10 bytes (18 words) - 23:40, 9 December 2023
- Neighborhood Logics: Expressiveness, Decidability, and Undecidability 2011-05-11 Paper Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal...10 bytes (19 words) - 02:45, 10 December 2023
- 2022-07-27 Paper Corrigendum to: ``Automaton semigroups and groups: on the undecidability of problems related to freeness and finiteness 2022-04-25 Paper Graph...10 bytes (16 words) - 23:29, 10 December 2023
- combinators 1997-09-28 Paper The undecidability of second order multiplicative linear logic 1996-12-05 Paper The undecidability of second order linear logic...10 bytes (16 words) - 05:35, 13 December 2023
- for Jobs with Arbitrary Sizes and Deadlines 2011-07-01 Paper ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD...10 bytes (18 words) - 11:14, 11 December 2023
- Publication Date of Publication Type Undecidability of local structures of s-degrees and Q-degrees 2009-04-01 Paper Branching in the \({\Sigma^0_2}\)-enumeration...10 bytes (18 words) - 04:47, 13 December 2023
- 2017-07-14 Paper Two-sorted Point-Interval Temporal Logics 2016-10-07 Paper Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings 2016-08-05...10 bytes (16 words) - 02:45, 10 December 2023
- Fragments of the Halpern-Shoham Interval Temporal Logic 2017-10-16 Paper Undecidability of the unification and admissibility problems for modal and description...10 bytes (17 words) - 23:16, 9 December 2023
- mardi4nfdi.de/entity/Q4851407 1995-10-10 Paper Undecidability, incompleteness and Arnol'd problems 1995-09-11 Paper On Jaśkowski's discussive logics 1995-02-22...10 bytes (19 words) - 04:05, 13 December 2023
- Review 2011-11-11 Paper Quantum Information – A Tutorial 2011-06-17 Paper UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES 2011-01-06 Paper On...10 bytes (16 words) - 02:54, 9 December 2023
