Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/s10817-011-9219-0> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- s10817-011-9219-0 author1 "Conor McBride".
- s10817-011-9219-0 authormask1 "with:".
- s10817-011-9219-0 date "August 2012".
- s10817-011-9219-0 doi "10.1007/s10817-011-9219-0".
- s10817-011-9219-0 first2 "Nick".
- s10817-011-9219-0 first3 "Chung-Kil".
- s10817-011-9219-0 first4 "Andrew J.".
- s10817-011-9219-0 isCitedBy Conor_McBride.
- s10817-011-9219-0 issue "2".
- s10817-011-9219-0 journal "Journal of Automated Reasoning".
- s10817-011-9219-0 last2 "Benton".
- s10817-011-9219-0 last3 "Hur".
- s10817-011-9219-0 last4 "Kennedy".
- s10817-011-9219-0 pages "141–159".
- s10817-011-9219-0 title "Strongly Typed Term representations in Coq".
- s10817-011-9219-0 url jartypedsyntax.pdf.
- s10817-011-9219-0 volume "49".