Search results
From MaRDI portal
- Paper The unsolvability of the uniform halting problem for two state Turing machines 1969-01-01 Paper The uniform halting problem for generalized one-state...10 bytes (18 words) - 16:56, 9 December 2023
- theorem for theories of kind W 1971-01-01 Paper Some Remarks on Uniform Halting Problems 1971-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5678429 1971-01-01...10 bytes (18 words) - 13:45, 8 December 2023
- degenerate solutions of a nonlinear eigenvalue problem 1987-01-01 Paper A Steady-State Diffusion Problem with Fractional Power Absorption Rate 1987-01-01...10 bytes (18 words) - 22:44, 10 December 2023
- 2012-11-13 Paper Universality and the Halting Problem for Cellular Automata in Hyperbolic Spaces: The Side of the Halting Problem 2012-11-08 Paper An application...10 bytes (16 words) - 02:56, 9 December 2023
- algorithm 2018-12-07 Paper Formalization of the undecidability of the halting problem for a functional language 2018-10-18 Paper Graph odometry 2016-09-30...10 bytes (16 words) - 17:08, 6 October 2023
- divisibility in computable rings 2017-01-16 Paper Abelian \(p\)-groups and the halting problem 2016-08-31 Paper Computable structures and operations on the space of...10 bytes (19 words) - 00:01, 11 December 2023
- comparison of polynomial time reducibilities 1975-01-01 Paper Relativized Halting Problems 1974-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4162480 1974-01-01...10 bytes (19 words) - 15:16, 6 December 2023
- hyper-algebraic extensions of language families 1976-01-01 Paper The halting problem for linear Turing assemblers 1976-01-01 Paper The complexity of vector-products...10 bytes (19 words) - 21:23, 11 December 2023
- quasi-transitive binary social choice rules in an infinite society and the halting problem 2009-06-22 Paper THE HEX GAME THEOREM AND THE ARROW IMPOSSIBILITY THEOREM:...10 bytes (16 words) - 12:24, 28 January 2024
- Algorithmic Statistics Revisited 2016-05-13 Paper Generic algorithms for halting problem and optimal machines revisited 2016-04-19 Paper What Percentage of Programs...10 bytes (17 words) - 13:28, 28 January 2024
- Paper Randomness and halting probabilities 2007-01-19 Paper Randomness and Computability: Open Questions 2006-12-06 Paper Uniform almost everywhere domination...10 bytes (19 words) - 06:10, 7 October 2023
- evolution of rotating configurations of uniform vorticity 1986-01-01 Paper The stability and energetics of corotating uniform vortices 1985-01-01 Paper...10 bytes (18 words) - 16:07, 12 December 2023
- 1976-01-01 Paper Bounds on the Complexity of the Longest Common Subsequence Problem 1976-01-01 Paper On Finding Lowest Common Ancestors in Trees 1976-01-01...10 bytes (19 words) - 01:39, 10 December 2023
- 2007-10-18 Paper Decision problems among the main subfamilies of rational relations 2007-04-10 Paper Randomness and halting probabilities 2007-01-19 Paper...10 bytes (16 words) - 13:28, 28 January 2024
- Computing 2009-05-14 Paper Partial Halting in P Systems Using Membrane Rules with Permitting Contexts 2009-03-05 Paper Uniform Solution of QSAT Using Polarizationless...10 bytes (16 words) - 08:19, 7 October 2023
- theorem for triangulations 2016-11-29 Paper Abelian \(p\)-groups and the halting problem 2016-08-31 Paper Myhill-Nerode Methods for Hypergraphs 2016-02-19 Paper...10 bytes (19 words) - 05:59, 9 December 2023
- mardi4nfdi.de/entity/Q4171568 1975-01-01 Paper Approximations to the halting problem 1974-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4162480 1974-01-01...10 bytes (19 words) - 04:52, 12 December 2023
- computing the \(K\)-trivial sets 2016-05-02 Paper Generic algorithms for halting problem and optimal machines revisited 2016-04-19 Paper What Percentage of Programs...10 bytes (16 words) - 04:11, 25 September 2023
- system 2009-04-22 Paper Uniform tangential approximation by lacunary power series 2009-04-22 Paper A note on the Chebyshev-Szegő problem 2009-04-22 Paper On...10 bytes (15 words) - 02:18, 25 September 2023
- 2012-12-03 Paper Renormalisation and computation II: time cut-off and the Halting Problem 2012-10-23 Paper Combinatorial cubic surfaces and reconstruction theorems...10 bytes (19 words) - 19:18, 9 December 2023