Search results
From MaRDI portal
- 2008-08-11 Paper Generic complexity of undecidable problems 2008-06-09 Paper Generic Complexity of Undecidable Problems 2008-06-03 Paper Group-based cryptography...10 bytes (14 words) - 00:16, 10 December 2023
- KNAPSACK” PROBLEM 2021-02-15 Paper https://portal.mardi4nfdi.de/entity/Q5150375 2021-02-15 Paper Algorithmic undecidability of compatibility problem for equations...10 bytes (15 words) - 18:41, 6 October 2023
- renaming to set agreement 2009-03-30 Paper The Mailbox Problem 2008-11-20 Paper The Committee Decision Problem 2008-09-18 Paper Subconsensus Tasks: Renaming Is...10 bytes (14 words) - 15:31, 6 October 2023
- KNAPSACK” PROBLEM 2021-02-15 Paper https://portal.mardi4nfdi.de/entity/Q5150375 2021-02-15 Paper Algorithmic undecidability of compatibility problem for equations...10 bytes (15 words) - 18:41, 6 October 2023
- 1988-01-01 Paper The word problem for subvarieties of the variety \({\mathfrak N}_ 2{\mathfrak A}\) 1987-01-01 Paper The word problem in varieties of semigroups...10 bytes (16 words) - 10:34, 12 December 2023
- conjugacy problem and Higman embeddings 2004-08-31 Paper Isoperimetric functions of groups and computational complexity of the word problem 2003-10-05...10 bytes (16 words) - 16:23, 9 December 2023
- Nondeterministic Ordered Restarting Automata 2018-07-24 Paper The word matching problem is undecidable for finite special string-rewriting systems that are confluent 2018-07-04...10 bytes (13 words) - 14:00, 10 December 2023
- FINITE TILING PROBLEM IS UNDECIDABLE IN THE HYPERBOLIC PLANE 2008-09-25 Paper About the domino problem in the hyperbolic plane from an algorithmic point of...10 bytes (13 words) - 01:56, 9 December 2023
- and matching modulo nilpotence 2019-01-15 Paper The word matching problem is undecidable for finite special string-rewriting systems that are confluent 2018-07-04...10 bytes (13 words) - 10:53, 8 December 2023
- factorization problem 2024-05-02 Paper On the generic complexity of the square root modulo prime problem 2024-05-02 Paper Generically undecidable and hard problems...10 bytes (14 words) - 14:19, 10 December 2023
- characteristic 0 2022-03-03 Paper Hilbert's Tenth Problem 2021-08-12 Paper Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory...10 bytes (13 words) - 04:23, 9 December 2023
- 2023-07-06 Paper On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics 2023-06-27 Paper Algorithmic complexity of monadic...10 bytes (14 words) - 16:20, 24 September 2023
- 2005-09-19 Paper Decidable and Undecidable Problems about Quantum Automata 2005-09-16 Paper An affine eigenvalue problem on the nonnegative orthant 2005-08-01...10 bytes (17 words) - 15:43, 6 December 2023
- polynomial many-one degrees of recursive sets is undecidable 2022-08-18 Paper Coarse groups, and the isomorphism problem for oligomorphic groups 2022-06-17 Paper...10 bytes (15 words) - 10:15, 9 December 2023
- 2018-07-24 Paper Decidability of the Membership Problem for 2 × 2 integer matrices 2018-07-16 Paper The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete...10 bytes (13 words) - 22:24, 9 December 2023
- de/entity/Q3974888 1992-06-26 Paper Algorithms for graph problems on BNLC structured garphs 1992-06-25 Paper Undecidability of the bandwidth problem on linear graph languages...10 bytes (13 words) - 23:08, 9 December 2023
- types is undecidable. 2002-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4501164 2000-09-03 Paper The emptiness problem for intersection types 2000-01-17...10 bytes (15 words) - 12:36, 28 January 2024
- modal logic with undecidable admissibility problem 1993-06-29 Paper Modal companions of intermediate propositional logics 1992-09-27 Paper The disjunction...10 bytes (15 words) - 19:21, 12 December 2023
- 2009-05-08 Paper Undecidability of bisimilarity by defender's forcing 2008-12-21 Paper Bouziane's transformation of the Petri net reachability problem and incorrectness...10 bytes (13 words) - 01:05, 9 December 2023
- Revisited 2011-06-29 Paper Efficient algorithms for the all-pairs suffix-prefix problem and the all-pairs substring-prefix problem 2010-09-02 Paper Bidirectional...10 bytes (13 words) - 03:11, 9 December 2023
