{"_id":"dfGTF83ebaXsYJSzu","bibbaseid":"lichter-eininteraktivesundsyntaxorientierteseingabesystemfralgebraischeundalgorithmischespezifikationen-1985","downloads":0,"creationDate":"2017-09-05T15:16:01.846Z","title":"Ein interaktives und syntaxorientiertes Eingabesystem für algebraische und algorithmische Spezifikationen","author_short":["Lichter, H"],"year":1985,"bibtype":"misc","biburl":"https://www2.swc.rwth-aachen.de/docs/booksHL.bib","bibdata":{"bibtype":"misc","type":"misc","annote":"Universität Kaiserslautern, SEKI-Memo 1985","author":[{"propositions":[],"lastnames":["Lichter"],"firstnames":["H"],"suffixes":[]}],"pages":"11--85","title":"Ein interaktives und syntaxorientiertes Eingabesystem für algebraische und algorithmische Spezifikationen","year":"1985","bibtex":"@misc{Lichter1985,\nannote = {Universit{\\\"{a}}t Kaiserslautern, SEKI-Memo 1985},\nauthor = {Lichter, H},\npages = {11--85},\ntitle = {{Ein interaktives und syntaxorientiertes Eingabesystem f{\\\"{u}}r algebraische und algorithmische Spezifikationen}},\nyear = {1985}\n}\n","author_short":["Lichter, H"],"key":"Lichter1985","id":"Lichter1985","bibbaseid":"lichter-eininteraktivesundsyntaxorientierteseingabesystemfralgebraischeundalgorithmischespezifikationen-1985","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["ein","interaktives","und","syntaxorientiertes","eingabesystem","algebraische","und","algorithmische","spezifikationen","lichter"],"keywords":[],"authorIDs":[],"dataSources":["mBXRzXXyMLZtcDe8E"]}