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