Applying Reflexivity of String...

Are linear problems on rationa...

Z3: is Nonlinear integer arith...

Prove that we can decide wheth...

Undecidable if TM overwrites i...

Recursive vs recursively enume...

Looking for the Agda module th...

How to define a subformula of ...

Relationship between NP-hard a...

Why knowing whether some piece...

Turing machines and decidabili...

Working within agda's deci...

Whether a context free languag...

First order logic in practice,...

Is there a non-RE language tha...

Something is not computable, c...

Is the language {⟨A⟩∣A is an N...

Decidability of "Is n div...

Turing machine decidability am...

Exactly what quantifiers is SM...

Check whether 2 languages are ...

Have a decider decides {<M&...

Does the order of prenex quant...

Show that the language is deci...

Prove whether this language is...

Why is E(dfa) a decidable lang...

Prove whether this language is...

Lean complains it can't se...

Cannot create algorithm for de...

Proving decidability of subset...