7988 search results - page 73 / 1598 » A Useful Undecidable Theory |
162
click to vote
Book
"The aim of this book is to present the strongest possible version of
G¨odel's incompleteness theorem, using an information-theoretic approach
based on the size of com...
AML
2005
15 years 3 months ago
2005
In this article we show how to use the result in J
115
click to vote
STOC
2001
ACM
16 years 3 months ago
2001
ACM
Optimal program slicing determines for a statement S in a program whether or not S affects a specified set of statements, given that all conditionals in are interpreted as non-d...
129
click to vote
MFCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
110
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...