List Question
10 TechQA 2015-06-20 21:24:32'try' can decide when a program halts
218 views
Asked by Alon Gurny
How to prove that "Total" is not recursive (decidable)
389 views
Asked by Michael Anthony Leber
Determining whether a regex is a subset of another
7.9k views
Asked by deft_code
Is Rice's Theorem equivalent to the Halting problem?
197 views
Asked by StuckInTheFridge
The use of System.currentTimeMillis() in loops in Java
1.5k views
Asked by Lion
Making a function that will identify an infinite loop in existing code
465 views
Asked by user3128178
Is finding pointers in C/C++ code statically equivalent to the Halting Ρroblem?
591 views
Asked by Jens
Discrete Logarithm in Prolog
338 views
Asked by AudioBubble
Do agda programs necessarily terminate?
1.4k views
Asked by user833970
Every np-complete problem reduces to the Halting problem. Is this true?
129 views
Asked by Romil