Matches in DBpedia 2016-04 for { <http://doi.org/10.1093/comjnl/12.1.41> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 12.1.41 doi "10.1093/comjnl/12.1.41".
- 12.1.41 first "R.M.".
- 12.1.41 isCitedBy Structural_induction.
- 12.1.41 journal "The Computer Journal".
- 12.1.41 last "Burstall".
- 12.1.41 number "1".
- 12.1.41 pages "41-48".
- 12.1.41 title "Proving Properties of Programs by Structural Induction".
- 12.1.41 volume "12".
- 12.1.41 year "1969".