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) - 01:16, 10 December 2023
- https://portal.mardi4nfdi.de/entity/Q5702668 2005-11-02 Paper Decidable and Undecidable Problems about Quantum Automata 2005-09-16 Paper Valiant's model and the cost...10 bytes (15 words) - 02:04, 9 December 2023
- theorem of Neumann 2024-11-28 Paper The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable 2024-02-14 Paper On equations...10 bytes (15 words) - 19: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) - 11: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) - 17:23, 9 December 2023
- Publication Date of Publication Type On ``simple algorithmically undecidable fragments of elementary theory of an infinitely generated free...10 bytes (15 words) - 19:41, 6 October 2023
- isomorphism problem and related problems 2017-12-06 Paper Deciding parity games in quasipolynomial time 2017-08-17 Paper Incompleteness, Undecidability and Automated...10 bytes (17 words) - 13:28, 28 January 2024
- Theorems 2022-07-19 Paper Hilbert's 10th Problem for solutions in a subring of Q 2019-09-08 Paper Is there an algorithm that decides the solvability of a Diophantine...10 bytes (13 words) - 06:39, 9 December 2023
- theorem of Neumann 2024-11-28 Paper The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable 2024-02-14 Paper On equations...10 bytes (15 words) - 19:41, 6 October 2023
- Applications of Bezout Matrices 2006-01-03 Paper The Hurwitz Equivalence Problem is Undecidable 2005-11-07 Paper A general framework for trajectory triangulation...10 bytes (15 words) - 18:23, 11 December 2023
- Paper Problem of the existence of nonborel \(AF_{\|}\)-sets 1985-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3026994 1985-01-01 Paper UNDECIDABLE AND...10 bytes (16 words) - 16:20, 6 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) - 15:19, 10 December 2023
- phase transitions in the symmetric rendezvous problem 2017-01-05 Paper Matrix multiplication algorithms from group orbits 2016-12-05 Paper The phase transition...10 bytes (15 words) - 15:26, 6 December 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) - 16:43, 6 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) - 05:23, 9 December 2023
- Solving a cutting problem based on existing patterns 1994-09-15 Paper An heuristic algorithm for the production line layout problem 1994-09-15 Paper Ultimate...10 bytes (12 words) - 13:11, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4028871 1993-03-28 Paper It is undecidable whether a finite special string-rewriting system presents a group 1992-06-28...10 bytes (15 words) - 22:04, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q4873968 1996-09-22 Paper A new solution to a problem of Hosoi and Ono 1996-05-13 Paper All Finitely Axiomatizable Normal Extensions...10 bytes (14 words) - 23:16, 9 December 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) - 16:31, 6 October 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) - 13:36, 28 January 2024
