Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/j.tcs.2015.07.013> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- j.tcs.2015.07.013 doi "10.1016/j.tcs.2015.07.013".
- j.tcs.2015.07.013 first1 "Andrea".
- j.tcs.2015.07.013 first2 "Wilmer".
- j.tcs.2015.07.013 isCitedBy Universal_Turing_machine.
- j.tcs.2015.07.013 issn "0304-3975".
- j.tcs.2015.07.013 journal "Theoretical Computer Science".
- j.tcs.2015.07.013 last1 "Asperti".
- j.tcs.2015.07.013 last2 "Ricciotti".
- j.tcs.2015.07.013 pages "23–42".
- j.tcs.2015.07.013 publisher "Elsevier".
- j.tcs.2015.07.013 title "A formalization of multi-tape Turing machines".
- j.tcs.2015.07.013 url S0304397515006349.
- j.tcs.2015.07.013 volume "603".
- j.tcs.2015.07.013 year "2015".