Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/j.tcs.2004.06.016> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- j.tcs.2004.06.016 author "Christian Urban, Andrew M. Pitts and Murdoch J. Gabbay".
- j.tcs.2004.06.016 doi "10.1016/j.tcs.2004.06.016".
- j.tcs.2004.06.016 isCitedBy Nominal_techniques.
- j.tcs.2004.06.016 isCitedBy Nominal_terms_(computer_science).
- j.tcs.2004.06.016 journal "Theoretical Computer Science".
- j.tcs.2004.06.016 pages "473–497".
- j.tcs.2004.06.016 title "Nominal unification".
- j.tcs.2004.06.016 volume "323".
- j.tcs.2004.06.016 year "2004".