Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/343369.343384> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 343369.343384 date "July 2000".
- 343369.343384 doi "10.1145/343369.343384".
- 343369.343384 first "Yuri".
- 343369.343384 isCitedBy Church–Turing_thesis.
- 343369.343384 isCitedBy Finite-state_machine.
- 343369.343384 issue "1".
- 343369.343384 journal "ACM Transactions on Computational Logic".
- 343369.343384 last "Gurevich".
- 343369.343384 pages "77–111".
- 343369.343384 title "Sequential Abstract State Machines Capture Sequential Algorithms".
- 343369.343384 url "http://research.microsoft.com/~gurevich/Opera/141.pdf".
- 343369.343384 url 141.pdf.
- 343369.343384 volume "1".
- 343369.343384 work "ACM Transactions on Computational Logic".