https://bookauthority.org/books/best-undecidability-books
7 Undecidability Books Experts Recommend Most - BookAuthority
Explore 7 top Undecidability books recommended by thought leaders including Ernest Nagel and other experts. Unlock key insights on logic, computability, and...
experts recommendundecidabilitybooks
https://openreview.net/forum?id=843bjDr_GJ9&referrer=%5Bthe%20profile%20of%20Daniel%20Gnad%5D(%2Fprofile%3Fid%3D~Daniel_Gnad1)
Planning over Integers: Compilations and Undecidability | OpenReview
Restricted Tasks (RT) are a special case of numeric planning characterized by numeric conditions that involve one numeric variable per formula and numeric...
planningintegerscompilationsundecidabilityopenreview
https://arxiv.org/abs/2309.11819
[2309.11819] The Undecidability of Third Order Pattern Matching in Calculi with Dependent Types or...
Abstract page for arXiv paper 2309.11819: The Undecidability of Third Order Pattern Matching in Calculi with Dependent Types or Type Constructors
https://research.vu.nl/en/publications/degrees-of-undecidability-in-term-rewriting/
Degrees of Undecidability in Term Rewriting - Vrije Universiteit Amsterdam
degreesundecidabilitytermrewritingvrije
https://www.wolframscience.com/nks/p753--undecidability-and-intractability/
Undecidability and Intractability: A New Kind of Science | Online by Stephen Wolfram [Page 753]
more input. And often the actual form of this train of thought is influenced by memory we have developed from inputs in the... – from A New Kind of Science
a new kind of science
https://publications.hse.ru/en/chapters/209326346
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities
of theundecidabilitycalculusbracketmodalities
https://merithub.com/quiz/undecidability-diagonalization-and-universal-languages-c8nk39hnuvt69v7euj80
Undecidability: Diagonalization and Universal Languages - Quiz & Test
undecidabilitydiagonalizationuniversallanguagesquiz