Matches in DBpedia 2015-10 for { <http://doi.org/10.1007/s00165-009-0122-y> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- s00165-009-0122-y author1Link "Richard Bornat".
- s00165-009-0122-y date "--09-17".
- s00165-009-0122-y doi "10.1007/s00165-009-0122-y".
- s00165-009-0122-y first1 "Richard".
- s00165-009-0122-y isCitedBy Peter_Landin.
- s00165-009-0122-y issn "0934-5043".
- s00165-009-0122-y issue "5".
- s00165-009-0122-y journal Formal_Aspects_of_Computing.
- s00165-009-0122-y last1 "Bornat".
- s00165-009-0122-y location "Berlin".
- s00165-009-0122-y pages "393–395".
- s00165-009-0122-y publisher "Springer-Verlag".
- s00165-009-0122-y ref "harv".
- s00165-009-0122-y title "--06-05".
- s00165-009-0122-y volume "21".