Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-70594-9_11> ?p ?o }
Showing triples 1 to 18 of
18
with 100 triples per page.
- 978-3-540-70594-9_11 author "Dexter Kozen and Wei-Lung Dustin Tseng".
- 978-3-540-70594-9_11 date "2008".
- 978-3-540-70594-9_11 doi "10.1007/978-3-540-70594-9_11".
- 978-3-540-70594-9_11 first "Dexter".
- 978-3-540-70594-9_11 isCitedBy Control_flow.
- 978-3-540-70594-9_11 isCitedBy Goto.
- 978-3-540-70594-9_11 isCitedBy Structured_program_theorem.
- 978-3-540-70594-9_11 isbn "978-3-540-70593-2".
- 978-3-540-70594-9_11 journal "Lecture Notes in Computer Science".
- 978-3-540-70594-9_11 journal "Mpc 2008".
- 978-3-540-70594-9_11 last "Kozen".
- 978-3-540-70594-9_11 pages "177".
- 978-3-540-70594-9_11 pages "177–192".
- 978-3-540-70594-9_11 series "Lecture Notes in Computer Science".
- 978-3-540-70594-9_11 title "The Böhm–Jacopini Theorem Is False, Propositionally".
- 978-3-540-70594-9_11 url bohmjacopini.pdf.
- 978-3-540-70594-9_11 volume "5133".
- 978-3-540-70594-9_11 year "2008".