@INPROCEEDINGS{She75,
  author = {Shepherdson, J.C.},
  title = {Computation over abstract structures: serial and parallel procedures
	and {F}riedman's effective definitional schemes},
  booktitle = {Logic Colloquium'73},
  year = {1975},
  editor = {Rose, H.E. and Shepherdson, J.C.},
  volume = {80},
  series = SIL,
  pages = {445--513},
  address = {Amsterdam},
  publisher = {North-Holland}
}

{"_id":"yvkHwdCJdiGF8uTXC","bibbaseid":"shepherdson-computationoverabstractstructuresserialandparallelproceduresandfriedmanseffectivedefinitionalschemes-1975","authorIDs":[],"author_short":["Shepherdson, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Shepherdson"],"firstnames":["J.C."],"suffixes":[]}],"title":"Computation over abstract structures: serial and parallel procedures and Friedman's effective definitional schemes","booktitle":"Logic Colloquium'73","year":"1975","editor":[{"propositions":[],"lastnames":["Rose"],"firstnames":["H.E."],"suffixes":[]},{"propositions":[],"lastnames":["Shepherdson"],"firstnames":["J.C."],"suffixes":[]}],"volume":"80","pages":"445–513","address":"Amsterdam","publisher":"North-Holland","bibtex":"@INPROCEEDINGS{She75,\r\n author = {Shepherdson, J.C.},\r\n title = {Computation over abstract structures: serial and parallel procedures\r\n\tand {F}riedman's effective definitional schemes},\r\n booktitle = {Logic Colloquium'73},\r\n year = {1975},\r\n editor = {Rose, H.E. and Shepherdson, J.C.},\r\n volume = {80},\r\n series = SIL,\r\n pages = {445--513},\r\n address = {Amsterdam},\r\n publisher = {North-Holland}\r\n}\r\n\r\n","author_short":["Shepherdson, J."],"editor_short":["Rose, H.","Shepherdson, J."],"key":"She75","id":"She75","bibbaseid":"shepherdson-computationoverabstractstructuresserialandparallelproceduresandfriedmanseffectivedefinitionalschemes-1975","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.835Z","downloads":0,"keywords":[],"search_terms":["computation","over","abstract","structures","serial","parallel","procedures","friedman","effective","definitional","schemes","shepherdson"],"title":"Computation over abstract structures: serial and parallel procedures and Friedman's effective definitional schemes","year":1975,"dataSources":["t7rKiAbxugj4Agz8M"]}