Nice papers with examples: http://drona.csa.iisc.ernet.in/~deepakd/atc-2011/tm-reductions-rice.pdf http://people.cs.aau.dk/~srba/courses/CC-08/rice-uk.pdf Theory of Computation rice-theorem theory-of-computation + – Prev post >> Pipeline Numerical Formulas Next post >> Synchronisation Requirements comparisons of all solutions bahirNaik posted Jan 22, 2016 bahirNaik 613 views 0Like1Love0Haha0Wow0Angry0Sad comment See all 0 reply Please log in or register to add a comment.