List Question
10 TechQA 2015-06-15 11:06:45Direct Reduction, Turing machine and a DFA
816 views
Asked by David
Is equality decidable on any coinductive type?
311 views
Asked by Mitchell Buckley
Generating run time proofs with type predicates in Idris
722 views
Asked by Vic Smith
How to prove that "Total" is not recursive (decidable)
378 views
Asked by Michael Anthony Leber
Is this language decidable, recognizable, or unrecognizable?
1k views
Asked by 3932695
Does the order of prenex quantification matter in EPR fragment?
188 views
Asked by Gowtham Kaki
How to define a subformula of an inductively defined type in Agda?
108 views
Asked by AudioBubble
Is this language decidable?
3.3k views
Asked by user1171851
Recursively enumerable (computably enumerable) languages closed under permutation?
536 views
Asked by user3688391
reduction from ALLtm to Etm
637 views
Asked by Dan