Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 date "1962".
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 first "J.R.".
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 isCitedBy Büchi_automaton.
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 journal "Proc. International Congress on Logic, Method, and Philosophy of Science. 1960".
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 last "Büchi".
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 location "Stanford".
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 pages "1–12".
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 publisher "Stanford University Press".
- 05d8536e3e2c169e792f3fc1972469ca716f79a057292ed0e526ad5b8027bdb5 title "On a decision method in restricted second order arithmetic".