Matches in DBpedia 2016-04 for { <http://doi.org/10.1017/s0956796803004957> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- s0956796803004957 accessdate "2012-03-30".
- s0956796803004957 date "October 2003".
- s0956796803004957 doi "10.1017/S0956796803004957".
- s0956796803004957 first "Conor".
- s0956796803004957 isCitedBy Unification_(computer_science).
- s0956796803004957 issn "0956-7968".
- s0956796803004957 issue "6".
- s0956796803004957 journal "Journal of Functional Programming".
- s0956796803004957 last "McBride".
- s0956796803004957 pages "1061–1076".
- s0956796803004957 title "First-Order Unification by Structural Recursion".
- s0956796803004957 url "http://strictlypositive.org/unify.ps.gz".
- s0956796803004957 volume "13".