Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in decidable

Prove whether this language is decidable and recognizable

computation-theory turing-machines formal-languages decidable

Is equality decidable on any coinductive type?

coq decidable coinduction

Exactly what quantifiers is SMT complete for?

z3 smt first-order-logic decidable cvc4

Why is E(dfa) a decidable language?

language-agnostic programming-languages dfa turing-machines decidable

haskell : making a superclass of Num

haskell typeclass superclass decidable

Does Provable == Decidable?

computation-theory decidable

Generating run time proofs with type predicates in Idris

parsing unification idris decidable

Why is OWL Full undecidable?

owl semantic-web description-logic decidable

Relationship between NP-hard and undecidable problems

algorithm np-hard decidable

Why knowing whether some piece of memory is needed is undecidable?

memory-management garbage-collection decidable

Haskell/GHC UndecidableInstances - example for non-terminating type check?

haskell ghc typechecking decidable