{"_id":"TNtBmT4rv3XEbT6YZ","bibbaseid":"samuelson-bauer-sequentialformulatranslation-1960","downloads":0,"creationDate":"2017-12-10T11:20:57.376Z","title":"Sequential Formula Translation","author_short":["Samuelson, K.","Bauer, F. L."],"year":1960,"bibtype":"article","biburl":"http://ddi.uni-wuppertal.de/forschung/Komplett.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Klaus"],"propositions":[],"lastnames":["Samuelson"],"suffixes":[]},{"firstnames":["Friedrich","L."],"propositions":[],"lastnames":["Bauer"],"suffixes":[]}],"title":"Sequential Formula Translation","journal":"Comm.~ACM","pages":"76--83","year":"1960","volume":"Vol.~3","number":"2","bibtex":"@article{Samuelson1960,\n author = {Klaus Samuelson and Friedrich L. Bauer},\n title = {{Sequential Formula Translation}},\n journal = {Comm.~ACM},\n pages = {76--83},\n year = 1960,\n volume = {Vol.~3},\n number = {2},\n}\n\n","author_short":["Samuelson, K.","Bauer, F. L."],"key":"Samuelson1960","id":"Samuelson1960","bibbaseid":"samuelson-bauer-sequentialformulatranslation-1960","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["sequential","formula","translation","samuelson","bauer"],"keywords":[],"authorIDs":[],"dataSources":["6BepyHGwnjChmJuia"]}