Sequential abstract-state machines capture sequential algorithms. Gurevich, Y ACM Transactions on Computational Logic (TOCL), 1(1):111, 2000. bibtex @Article{Gurevich2000,
author = {Gurevich, Y},
title = {Sequential abstract-state machines capture sequential algorithms},
journal = {ACM Transactions on Computational Logic (TOCL)},
volume = {1},
number = {1},
pages = {111},
year = {2000},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"7CoFumfiNXkuC4Qcb","bibbaseid":"gurevich-sequentialabstractstatemachinescapturesequentialalgorithms-2000","authorIDs":[],"author_short":["Gurevich, Y"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Gurevich"],"firstnames":["Y"],"suffixes":[]}],"title":"Sequential abstract-state machines capture sequential algorithms","journal":"ACM Transactions on Computational Logic (TOCL)","volume":"1","number":"1","pages":"111","year":"2000","abstract":"","location":"","keywords":"","bibtex":"@Article{Gurevich2000,\nauthor = {Gurevich, Y}, \ntitle = {Sequential abstract-state machines capture sequential algorithms}, \njournal = {ACM Transactions on Computational Logic (TOCL)}, \nvolume = {1}, \nnumber = {1}, \npages = {111}, \nyear = {2000}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Gurevich, Y"],"key":"Gurevich2000","id":"Gurevich2000","bibbaseid":"gurevich-sequentialabstractstatemachinescapturesequentialalgorithms-2000","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.773Z","downloads":0,"keywords":[],"search_terms":["sequential","abstract","state","machines","capture","sequential","algorithms","gurevich"],"title":"Sequential abstract-state machines capture sequential algorithms","year":2000,"dataSources":["hEoKh4ygEAWbAZ5iy"]}