Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/j.tcs.2008.05.012> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- j.tcs.2008.05.012 author "Christophe Calves and Maribel Fernandez".
- j.tcs.2008.05.012 doi "10.1016/j.tcs.2008.05.012".
- j.tcs.2008.05.012 isCitedBy Nominal_terms_(computer_science).
- j.tcs.2008.05.012 journal "Theoretical Computer Science".
- j.tcs.2008.05.012 pages "285–306".
- j.tcs.2008.05.012 title "A polynomial nominal unification algorithm".
- j.tcs.2008.05.012 volume "403".
- j.tcs.2008.05.012 year "2008".