--- _id: '32360' author: - first_name: Stefaniya full_name: Ptashnyk, Stefaniya id: '94428' last_name: Ptashnyk citation: ama: 'Ptashnyk S. LEXIKON. Eintrag (Einzelartikel). In: WSK Grammatik (online-Publikation).' apa: Ptashnyk, S. (n.d.). LEXIKON. Eintrag (Einzelartikel). In WSK Grammatik (online-Publikation). bibtex: '@inbook{Ptashnyk, title={LEXIKON. Eintrag (Einzelartikel)}, booktitle={WSK Grammatik (online-Publikation)}, author={Ptashnyk, Stefaniya} }' chicago: Ptashnyk, Stefaniya. “LEXIKON. Eintrag (Einzelartikel).” In WSK Grammatik (online-Publikation), n.d. ieee: S. Ptashnyk, “LEXIKON. Eintrag (Einzelartikel),” in WSK Grammatik (online-Publikation), . mla: Ptashnyk, Stefaniya. “LEXIKON. Eintrag (Einzelartikel).” WSK Grammatik (online-Publikation). short: 'S. Ptashnyk, in: WSK Grammatik (online-Publikation), n.d.' date_created: 2022-07-12T23:04:38Z date_updated: 2022-07-12T23:05:12Z department: - _id: '5' - _id: '115' extern: '1' language: - iso: ger publication: WSK Grammatik (online-Publikation) status: public title: LEXIKON. Eintrag (Einzelartikel) type: encyclopedia_article user_id: '49063' year: '0000' ... --- _id: '32937' author: - first_name: Claudia full_name: Öhlschläger, Claudia id: '610' last_name: Öhlschläger citation: ama: 'Öhlschläger C. Bild/Bilderverbot (literaturwissenschaftlich). In: Wischmeyer O, ed. Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther. de Gruyter; :98-99.' apa: Öhlschläger, C. (n.d.). Bild/Bilderverbot (literaturwissenschaftlich). In O. Wischmeyer (Ed.), Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther (pp. 98–99). de Gruyter. bibtex: '@inbook{Öhlschläger, place={Berlin, New York}, title={Bild/Bilderverbot (literaturwissenschaftlich)}, booktitle={Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther}, publisher={de Gruyter}, author={Öhlschläger, Claudia}, editor={Wischmeyer, Oda}, pages={98–99} }' chicago: 'Öhlschläger, Claudia. “Bild/Bilderverbot (literaturwissenschaftlich).” In Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, edited by Oda Wischmeyer, 98–99. Berlin, New York: de Gruyter, n.d.' ieee: 'C. Öhlschläger, “Bild/Bilderverbot (literaturwissenschaftlich),” in Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, O. Wischmeyer, Ed. Berlin, New York: de Gruyter, pp. 98–99.' mla: Öhlschläger, Claudia. “Bild/Bilderverbot (literaturwissenschaftlich).” Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, edited by Oda Wischmeyer, de Gruyter, pp. 98–99. short: 'C. Öhlschläger, in: O. Wischmeyer (Ed.), Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, de Gruyter, Berlin, New York, n.d., pp. 98–99.' date_created: 2022-08-17T13:45:52Z date_updated: 2022-10-17T14:53:43Z department: - _id: '5' - _id: '116' editor: - first_name: Oda full_name: Wischmeyer, Oda last_name: Wischmeyer language: - iso: ger page: 98- 99 place: Berlin, New York publication: Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther publisher: de Gruyter status: public title: Bild/Bilderverbot (literaturwissenschaftlich) type: encyclopedia_article user_id: '49063' year: '0000' ... --- _id: '32938' author: - first_name: Claudia full_name: Öhlschläger, Claudia id: '610' last_name: Öhlschläger citation: ama: 'Öhlschläger C. Ikonographie (literaturwissenschaftlich). In: Wischmeyer O, ed. Lexikon Der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther. de Gruyter; :281-282.' apa: Öhlschläger, C. (n.d.). Ikonographie (literaturwissenschaftlich). In O. Wischmeyer (Ed.), Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther (pp. 281–282). de Gruyter. bibtex: '@inbook{Öhlschläger, place={Berlin, New York}, title={Ikonographie (literaturwissenschaftlich)}, booktitle={Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther}, publisher={de Gruyter}, author={Öhlschläger, Claudia}, editor={Wischmeyer, Oda}, pages={281–282} }' chicago: 'Öhlschläger, Claudia. “Ikonographie (Literaturwissenschaftlich).” In Lexikon Der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, edited by Oda Wischmeyer, 281–82. Berlin, New York: de Gruyter, n.d.' ieee: 'C. Öhlschläger, “Ikonographie (literaturwissenschaftlich),” in Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, O. Wischmeyer, Ed. Berlin, New York: de Gruyter, pp. 281–282.' mla: Öhlschläger, Claudia. “Ikonographie (Literaturwissenschaftlich).” Lexikon Der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, edited by Oda Wischmeyer, de Gruyter, pp. 281–82. short: 'C. Öhlschläger, in: O. Wischmeyer (Ed.), Lexikon Der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther, de Gruyter, Berlin, New York, n.d., pp. 281–282.' date_created: 2022-08-17T13:47:20Z date_updated: 2022-10-17T14:53:46Z department: - _id: '5' - _id: '116' editor: - first_name: Oda full_name: Wischmeyer, Oda last_name: Wischmeyer language: - iso: eng page: 281-282 place: Berlin, New York publication: Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther publisher: de Gruyter status: public title: Ikonographie (literaturwissenschaftlich) type: encyclopedia_article user_id: '49063' year: '0000' ... --- _id: '32617' author: - first_name: Jörn full_name: Steigerwald, Jörn id: '37947' last_name: Steigerwald citation: ama: 'Steigerwald J. Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik . In: Steigerwald J, Behrens R, eds. Räume des Subjekts um 1800. Harrassowitz.' apa: Steigerwald, J. (n.d.). Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik . In J. Steigerwald & R. Behrens (Eds.), Räume des Subjekts um 1800. Harrassowitz. bibtex: '@inbook{Steigerwald, place={Wiesbaden}, title={Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik }, booktitle={Räume des Subjekts um 1800}, publisher={Harrassowitz}, author={Steigerwald, Jörn}, editor={Steigerwald, Jörn and Behrens, Rudolf} }' chicago: 'Steigerwald, Jörn. “Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik .” In Räume des Subjekts um 1800, edited by Jörn Steigerwald and Rudolf Behrens. Wiesbaden: Harrassowitz, n.d.' ieee: 'J. Steigerwald, “Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik ,” in Räume des Subjekts um 1800, J. Steigerwald and R. Behrens, Eds. Wiesbaden: Harrassowitz.' mla: Steigerwald, Jörn. “Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik .” Räume des Subjekts um 1800, edited by Jörn Steigerwald and Rudolf Behrens, Harrassowitz. short: 'J. Steigerwald, in: J. Steigerwald, R. Behrens (Eds.), Räume des Subjekts um 1800, Harrassowitz, Wiesbaden, n.d.' date_created: 2022-08-09T17:01:32Z date_updated: 2022-10-17T14:53:50Z department: - _id: '5' - _id: '116' editor: - first_name: Jörn full_name: Steigerwald, Jörn last_name: Steigerwald - first_name: Rudolf full_name: Behrens, Rudolf last_name: Behrens language: - iso: ger place: Wiesbaden publication: Räume des Subjekts um 1800 publisher: Harrassowitz status: public title: 'Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik ' type: book_chapter user_id: '49063' year: '0000' ... --- _id: '32882' citation: ama: Öhlschläger C, ed. Ethik-Text-Kultur. Fink apa: Öhlschläger, C. (Ed.). (n.d.). Ethik-Text-Kultur. Fink. bibtex: '@book{Öhlschläger, place={München, Paderborn}, title={Ethik-Text-Kultur}, publisher={Fink} }' chicago: 'Öhlschläger, Claudia, ed. Ethik-Text-Kultur. München, Paderborn: Fink, n.d.' ieee: 'C. Öhlschläger, Ed., Ethik-Text-Kultur. München, Paderborn: Fink.' mla: Öhlschläger, Claudia, editor. Ethik-Text-Kultur. Fink. short: C. Öhlschläger, ed., Ethik-Text-Kultur, Fink, München, Paderborn, n.d. date_created: 2022-08-17T12:41:45Z date_updated: 2022-10-17T14:53:49Z department: - _id: '5' - _id: '116' editor: - first_name: Claudia full_name: Öhlschläger, Claudia id: '610' last_name: Öhlschläger language: - iso: ger place: München, Paderborn publisher: Fink status: public title: Ethik-Text-Kultur type: book_editor user_id: '49063' year: '0000' ... --- _id: '22111' author: - first_name: W. full_name: Reschetnik, W. last_name: Reschetnik - first_name: J.P. full_name: Brüggemann, J.P. last_name: Brüggemann - first_name: G. full_name: Kullmer, G. last_name: Kullmer - first_name: L. full_name: Risse, L. last_name: Risse citation: ama: Reschetnik W, Brüggemann JP, Kullmer G, Risse L. Beeinflussung Des Risswachstums Durch Kerben in Additiv Gefertigten Strukturen. apa: Reschetnik, W., Brüggemann, J. P., Kullmer, G., & Risse, L. (n.d.). Beeinflussung des Risswachstums durch Kerben in additiv gefertigten Strukturen. Additive Fertigung von Bauteilen und Strukturen – Neue Erkenntnisse und Praxisbeispiele. bibtex: '@book{Reschetnik_Brüggemann_Kullmer_Risse, title={Beeinflussung des Risswachstums durch Kerben in additiv gefertigten Strukturen}, journal={Additive Fertigung von Bauteilen und Strukturen – Neue Erkenntnisse und Praxisbeispiele}, author={Reschetnik, W. and Brüggemann, J.P. and Kullmer, G. and Risse, L.} }' chicago: Reschetnik, W., J.P. Brüggemann, G. Kullmer, and L. Risse. Beeinflussung Des Risswachstums Durch Kerben in Additiv Gefertigten Strukturen. Additive Fertigung von Bauteilen Und Strukturen – Neue Erkenntnisse Und Praxisbeispiele, n.d. ieee: W. Reschetnik, J. P. Brüggemann, G. Kullmer, and L. Risse, Beeinflussung des Risswachstums durch Kerben in additiv gefertigten Strukturen. . mla: Reschetnik, W., et al. “Beeinflussung Des Risswachstums Durch Kerben in Additiv Gefertigten Strukturen.” Additive Fertigung von Bauteilen Und Strukturen – Neue Erkenntnisse Und Praxisbeispiele. short: W. Reschetnik, J.P. Brüggemann, G. Kullmer, L. Risse, Beeinflussung Des Risswachstums Durch Kerben in Additiv Gefertigten Strukturen, n.d. date_created: 2021-05-11T07:47:56Z date_updated: 2022-01-06T06:55:26Z department: - _id: '143' - _id: '219' publication: Additive Fertigung von Bauteilen und Strukturen – Neue Erkenntnisse und Praxisbeispiele status: public title: Beeinflussung des Risswachstums durch Kerben in additiv gefertigten Strukturen type: book user_id: '60486' year: '1778' ... --- _id: '22114' author: - first_name: A. full_name: Riemer, A. last_name: Riemer - first_name: S. full_name: Leuders, S. last_name: Leuders - first_name: H.A. full_name: Richard, H.A. last_name: Richard - first_name: G. full_name: Kullmer, G. last_name: Kullmer citation: ama: Riemer A, Leuders S, Richard HA, Kullmer G. Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe. apa: Riemer, A., Leuders, S., Richard, H. A., & Kullmer, G. (n.d.). Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe. bibtex: '@book{Riemer_Leuders_Richard_Kullmer, title={Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe}, author={Riemer, A. and Leuders, S. and Richard, H.A. and Kullmer, G.} }' chicago: Riemer, A., S. Leuders, H.A. Richard, and G. Kullmer. Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe, n.d. ieee: A. Riemer, S. Leuders, H. A. Richard, and G. Kullmer, Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe. . mla: Riemer, A., et al. Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe. short: A. Riemer, S. Leuders, H.A. Richard, G. Kullmer, Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe, n.d. date_created: 2021-05-11T07:48:00Z date_updated: 2022-01-06T06:55:26Z department: - _id: '143' - _id: '219' language: - iso: ger status: public title: Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe type: book user_id: '60486' year: '1778' ... --- _id: '16812' author: - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide citation: ama: Meyer auf der Heide F. A comparison of two variations of a pebble game on graphs. Automata, Languages and Programming ICALP 1979. 1979:411-421. doi:10.1007/3-540-09510-1_32 apa: Meyer auf der Heide, F. (1979). A comparison of two variations of a pebble game on graphs. Automata, Languages and Programming. ICALP 1979, 411–421. https://doi.org/10.1007/3-540-09510-1_32 bibtex: '@article{Meyer auf der Heide_1979, title={A comparison of two variations of a pebble game on graphs}, DOI={10.1007/3-540-09510-1_32 }, journal={Automata, Languages and Programming. ICALP 1979}, author={Meyer auf der Heide, Friedhelm}, year={1979}, pages={411–421} }' chicago: Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble Game on Graphs.” Automata, Languages and Programming. ICALP 1979, 1979, 411–21. https://doi.org/10.1007/3-540-09510-1_32 . ieee: F. Meyer auf der Heide, “A comparison of two variations of a pebble game on graphs,” Automata, Languages and Programming. ICALP 1979, pp. 411–421, 1979. mla: Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble Game on Graphs.” Automata, Languages and Programming. ICALP 1979, 1979, pp. 411–21, doi:10.1007/3-540-09510-1_32 . short: F. Meyer auf der Heide, Automata, Languages and Programming. ICALP 1979 (1979) 411–421. date_created: 2020-04-22T09:02:08Z date_updated: 2022-01-06T06:52:56Z department: - _id: '63' doi: '10.1007/3-540-09510-1_32 ' language: - iso: eng page: 411-421 publication: Automata, Languages and Programming. ICALP 1979 publication_status: published status: public title: A comparison of two variations of a pebble game on graphs type: journal_article user_id: '15415' year: '1979' ... --- _id: '16815' author: - first_name: P. full_name: Klein, P. last_name: Klein - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide citation: ama: 'Klein P, Meyer auf der Heide F. Untere Zeitschranken für das Rucksack-Problem. In: GI - 10. Jahrestagung. Berlin, Heidelberg; 1980. doi:10.1007/978-3-642-67838-7_34' apa: Klein, P., & Meyer auf der Heide, F. (1980). Untere Zeitschranken für das Rucksack-Problem. In GI - 10. Jahrestagung. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67838-7_34 bibtex: '@inbook{Klein_Meyer auf der Heide_1980, place={Berlin, Heidelberg}, title={Untere Zeitschranken für das Rucksack-Problem}, DOI={10.1007/978-3-642-67838-7_34}, booktitle={GI - 10. Jahrestagung}, author={Klein, P. and Meyer auf der Heide, Friedhelm}, year={1980} }' chicago: Klein, P., and Friedhelm Meyer auf der Heide. “Untere Zeitschranken Für Das Rucksack-Problem.” In GI - 10. Jahrestagung. Berlin, Heidelberg, 1980. https://doi.org/10.1007/978-3-642-67838-7_34. ieee: P. Klein and F. Meyer auf der Heide, “Untere Zeitschranken für das Rucksack-Problem,” in GI - 10. Jahrestagung, Berlin, Heidelberg, 1980. mla: Klein, P., and Friedhelm Meyer auf der Heide. “Untere Zeitschranken Für Das Rucksack-Problem.” GI - 10. Jahrestagung, 1980, doi:10.1007/978-3-642-67838-7_34. short: 'P. Klein, F. Meyer auf der Heide, in: GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.' date_created: 2020-04-22T09:06:48Z date_updated: 2022-01-06T06:52:56Z department: - _id: '63' doi: 10.1007/978-3-642-67838-7_34 language: - iso: eng place: Berlin, Heidelberg publication: GI - 10. Jahrestagung publication_identifier: isbn: - '9783540103882' - '9783642678387' issn: - 0343-3005 publication_status: published status: public title: Untere Zeitschranken für das Rucksack-Problem type: book_chapter user_id: '15415' year: '1980' ... --- _id: '15510' alternative_title: - Ein Buch der Wünsche citation: ama: Hagengruber RE, ed. Inseln im Ich. Matthes & Seitz; 1980. apa: Hagengruber, R. E. (Ed.). (1980). Inseln im Ich. Matthes & Seitz. bibtex: '@book{Hagengruber_1980, place={München}, title={Inseln im Ich}, publisher={Matthes & Seitz}, year={1980} }' chicago: 'Hagengruber, Ruth Edith, ed. Inseln im Ich. München: Matthes & Seitz, 1980.' ieee: 'R. E. Hagengruber, Ed., Inseln im Ich. München: Matthes & Seitz, 1980.' mla: Hagengruber, Ruth Edith, editor. Inseln im Ich. Matthes & Seitz, 1980. short: R.E. Hagengruber, ed., Inseln im Ich, Matthes & Seitz, München, 1980. date_created: 2020-01-13T13:07:39Z date_updated: 2022-12-09T01:27:14Z department: - _id: '519' editor: - first_name: Ruth Edith full_name: Hagengruber, Ruth Edith id: '198' last_name: Hagengruber orcid: https://orcid.org/0000-0003-3360-6335 extern: '1' language: - iso: ger place: München publication_identifier: isbn: - '3882213183' publisher: Matthes & Seitz status: public title: Inseln im Ich type: book_editor user_id: '49063' year: '1980' ... --- _id: '8184' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Udo full_name: Pletat, Udo last_name: Pletat - first_name: Hans-Dietrich full_name: Ehrich, Hans-Dietrich last_name: Ehrich citation: ama: Engels G, Pletat U, Ehrich H-D. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück; 1981. apa: Engels, G., Pletat, U., & Ehrich, H.-D. (1981). Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück. bibtex: '@book{Engels_Pletat_Ehrich_1981, title={Handling Errors and Exceptions in the Algebraic Specifications of Data Types}, publisher={University of Osnabrück}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1981} }' chicago: Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981. ieee: G. Engels, U. Pletat, and H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981. mla: Engels, Gregor, et al. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981. short: G. Engels, U. Pletat, H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types, University of Osnabrück, 1981. date_created: 2019-03-03T16:12:37Z date_updated: 2022-01-06T07:03:51Z department: - _id: '66' language: - iso: eng publisher: University of Osnabrück report_number: OSM-I-3 status: public title: Handling Errors and Exceptions in the Algebraic Specifications of Data Types type: report user_id: '52534' year: '1981' ... --- _id: '8185' author: - first_name: Udo full_name: Pletat, Udo last_name: Pletat - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Hans-Dietrich full_name: Ehrich, Hans-Dietrich last_name: Ehrich citation: ama: Pletat U, Engels G, Ehrich H-D. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science; 1981. apa: Pletat, U., Engels, G., & Ehrich, H.-D. (1981). Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science. bibtex: '@book{Pletat_Engels_Ehrich_1981, title={Operational Semantics of Algebraic Specifications with Conditional Equations}, publisher={University of Dortmund, Department of Computer Science}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1981} }' chicago: Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981. ieee: U. Pletat, G. Engels, and H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981. mla: Pletat, Udo, et al. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981. short: U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations, University of Dortmund, Department of Computer Science, 1981. date_created: 2019-03-03T16:12:38Z date_updated: 2022-01-06T07:03:51Z department: - _id: '66' language: - iso: eng publisher: University of Dortmund, Department of Computer Science report_number: '118' status: public title: Operational Semantics of Algebraic Specifications with Conditional Equations type: report user_id: '52534' year: '1981' ... --- _id: '16813' author: - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide - first_name: Anton full_name: Rollik, Anton last_name: Rollik citation: ama: 'Meyer auf der Heide F, Rollik A. Random access machines and straight-line programs. In: Fundamentals of Computation Theory. Berlin, Heidelberg; 1981. doi:10.1007/3-540-10854-8_29' apa: Meyer auf der Heide, F., & Rollik, A. (1981). Random access machines and straight-line programs. In Fundamentals of Computation Theory. Berlin, Heidelberg. https://doi.org/10.1007/3-540-10854-8_29 bibtex: '@inbook{Meyer auf der Heide_Rollik_1981, place={Berlin, Heidelberg}, title={Random access machines and straight-line programs}, DOI={10.1007/3-540-10854-8_29}, booktitle={Fundamentals of Computation Theory}, author={Meyer auf der Heide, Friedhelm and Rollik, Anton}, year={1981} }' chicago: Meyer auf der Heide, Friedhelm, and Anton Rollik. “Random Access Machines and Straight-Line Programs.” In Fundamentals of Computation Theory. Berlin, Heidelberg, 1981. https://doi.org/10.1007/3-540-10854-8_29. ieee: F. Meyer auf der Heide and A. Rollik, “Random access machines and straight-line programs,” in Fundamentals of Computation Theory, Berlin, Heidelberg, 1981. mla: Meyer auf der Heide, Friedhelm, and Anton Rollik. “Random Access Machines and Straight-Line Programs.” Fundamentals of Computation Theory, 1981, doi:10.1007/3-540-10854-8_29. short: 'F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.' date_created: 2020-04-22T09:03:21Z date_updated: 2022-01-06T06:52:56Z department: - _id: '63' doi: 10.1007/3-540-10854-8_29 language: - iso: eng place: Berlin, Heidelberg publication: Fundamentals of Computation Theory publication_identifier: isbn: - '9783540108542' - '9783540387657' issn: - 0302-9743 - 1611-3349 publication_status: published status: public title: Random access machines and straight-line programs type: book_chapter user_id: '15415' year: '1981' ... --- _id: '16814' author: - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide citation: ama: 'Meyer auf der Heide F. Time-processor trade-offs for universal parallel computers. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1981. doi:10.1007/3-540-10856-4_111' apa: Meyer auf der Heide, F. (1981). Time-processor trade-offs for universal parallel computers. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-10856-4_111 bibtex: '@inbook{Meyer auf der Heide_1981, place={Berlin, Heidelberg}, title={Time-processor trade-offs for universal parallel computers}, DOI={10.1007/3-540-10856-4_111}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1981} }' chicago: Meyer auf der Heide, Friedhelm. “Time-Processor Trade-Offs for Universal Parallel Computers.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 1981. https://doi.org/10.1007/3-540-10856-4_111. ieee: F. Meyer auf der Heide, “Time-processor trade-offs for universal parallel computers,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1981. mla: Meyer auf der Heide, Friedhelm. “Time-Processor Trade-Offs for Universal Parallel Computers.” Lecture Notes in Computer Science, 1981, doi:10.1007/3-540-10856-4_111. short: 'F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.' date_created: 2020-04-22T09:05:15Z date_updated: 2022-01-06T06:52:56Z department: - _id: '63' doi: 10.1007/3-540-10856-4_111 language: - iso: eng place: Berlin, Heidelberg publication: Lecture Notes in Computer Science publication_identifier: isbn: - '9783540108566' - '9783540387695' issn: - 0302-9743 - 1611-3349 publication_status: published status: public title: Time-processor trade-offs for universal parallel computers type: book_chapter user_id: '15415' year: '1981' ... --- _id: '16820' author: - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide citation: ama: Meyer auf der Heide F. A comparison of two variations of a pebble game on graphs. Theoretical Computer Science. 1981:315-322. doi:10.1016/s0304-3975(81)80004-7 apa: Meyer auf der Heide, F. (1981). A comparison of two variations of a pebble game on graphs. Theoretical Computer Science, 315–322. https://doi.org/10.1016/s0304-3975(81)80004-7 bibtex: '@article{Meyer auf der Heide_1981, title={A comparison of two variations of a pebble game on graphs}, DOI={10.1016/s0304-3975(81)80004-7}, journal={Theoretical Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1981}, pages={315–322} }' chicago: Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble Game on Graphs.” Theoretical Computer Science, 1981, 315–22. https://doi.org/10.1016/s0304-3975(81)80004-7. ieee: F. Meyer auf der Heide, “A comparison of two variations of a pebble game on graphs,” Theoretical Computer Science, pp. 315–322, 1981. mla: Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble Game on Graphs.” Theoretical Computer Science, 1981, pp. 315–22, doi:10.1016/s0304-3975(81)80004-7. short: F. Meyer auf der Heide, Theoretical Computer Science (1981) 315–322. date_created: 2020-04-22T09:33:31Z date_updated: 2022-01-06T06:52:56Z department: - _id: '63' doi: 10.1016/s0304-3975(81)80004-7 language: - iso: eng page: 315-322 publication: Theoretical Computer Science publication_identifier: issn: - 0304-3975 publication_status: published status: public title: A comparison of two variations of a pebble game on graphs type: journal_article user_id: '15415' year: '1981' ... --- _id: '30187' author: - first_name: Joachim full_name: Böcker, Joachim id: '66' last_name: Böcker orcid: 0000-0002-8480-7295 citation: ama: Böcker J. Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin; 1981. apa: Böcker, J. (1981). Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin. bibtex: '@book{Böcker_1981, title={Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme}, publisher={Institut für Regelungstechnik, TU Berlin}, author={Böcker, Joachim}, year={1981} }' chicago: Böcker, Joachim. Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin, 1981. ieee: J. Böcker, Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin, 1981. mla: Böcker, Joachim. Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin, 1981. short: J. Böcker, Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme, Institut für Regelungstechnik, TU Berlin, 1981. date_created: 2022-03-02T08:05:13Z date_updated: 2022-03-17T09:40:16Z ddc: - '620' department: - _id: '52' extern: '1' file: - access_level: open_access content_type: application/pdf creator: boecker date_created: 2022-03-02T08:03:56Z date_updated: 2022-03-02T08:19:38Z file_id: '30188' file_name: Böcker 1981 Studienarbeit OCR.pdf file_size: 9663083 relation: main_file file_date_updated: 2022-03-02T08:19:38Z has_accepted_license: '1' language: - iso: ger oa: '1' publication_status: published publisher: Institut für Regelungstechnik, TU Berlin status: public title: Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme type: book user_id: '66' year: '1981' ... --- _id: '7811' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer citation: ama: 'Engels G, Schäfer W. Specification of a Programming Support Environment by Graph Grammars. In: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany). München/Leipzig: Hanser; 1982:47-62.' apa: 'Engels, G., & Schäfer, W. (1982). Specification of a Programming Support Environment by Graph Grammars. In Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany) (pp. 47–62). München/Leipzig: Hanser.' bibtex: '@inproceedings{Engels_Schäfer_1982, place={München/Leipzig}, title={Specification of a Programming Support Environment by Graph Grammars}, booktitle={Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)}, publisher={Hanser}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1982}, pages={47–62} }' chicago: 'Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” In Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 47–62. München/Leipzig: Hanser, 1982.' ieee: G. Engels and W. Schäfer, “Specification of a Programming Support Environment by Graph Grammars,” in Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 1982, pp. 47–62. mla: Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), Hanser, 1982, pp. 47–62. short: 'G. Engels, W. Schäfer, in: Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), Hanser, München/Leipzig, 1982, pp. 47–62.' date_created: 2019-02-20T13:37:37Z date_updated: 2022-01-06T07:03:46Z department: - _id: '66' language: - iso: eng page: 47-62 place: München/Leipzig publication: Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany) publisher: Hanser status: public title: Specification of a Programming Support Environment by Graph Grammars type: conference user_id: '52534' year: '1982' ... --- _id: '7812' abstract: - lang: eng text: We suppose to give conditional specifications of abstract data types hierarchically. Considering algebraic specifications from an operational point of view this approach enables us to present simple syntactic criteria for the Church-Rosser property, which implies the welldefinedness of the operational semantics of a conditional specification. Furthermore, these criteria are su?cient for the termination of the full substitution reduction strategy. author: - first_name: Udo full_name: Pletat, Udo last_name: Pletat - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Hans-Dietrich full_name: Ehrich, Hans-Dietrich last_name: Ehrich citation: ama: 'Pletat U, Engels G, Ehrich H-D. An Operational Approach to Conditional Algebraic Specifications. In: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France). Vol 82. ; 1982:254-270.' apa: Pletat, U., Engels, G., & Ehrich, H.-D. (1982). An Operational Approach to Conditional Algebraic Specifications. In Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France) (Vol. 82, pp. 254–270). bibtex: '@inproceedings{Pletat_Engels_Ehrich_1982, title={An Operational Approach to Conditional Algebraic Specifications}, volume={82}, booktitle={Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1982}, pages={254–270} }' chicago: Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 82:254–70, 1982. ieee: U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France), 1982, vol. 82, pp. 254–270. mla: Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.” Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), vol. 82, 1982, pp. 254–70. short: 'U. Pletat, G. Engels, H.-D. Ehrich, in: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 1982, pp. 254–270.' date_created: 2019-02-20T13:39:05Z date_updated: 2022-01-06T07:03:46Z department: - _id: '66' intvolume: ' 82' language: - iso: eng page: 254-270 publication: Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France) status: public title: An Operational Approach to Conditional Algebraic Specifications type: conference user_id: '52534' volume: 82 year: '1982' ... --- _id: '29933' author: - first_name: Joachim full_name: Böcker, Joachim id: '66' last_name: Böcker orcid: 0000-0002-8480-7295 citation: ama: Böcker J. Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin; 1982. apa: Böcker, J. (1982). Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin. bibtex: '@book{Böcker_1982, title={Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme}, publisher={Institut für Regelungstechnik, TU Berlin}, author={Böcker, Joachim}, year={1982} }' chicago: Böcker, Joachim. Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin, 1982. ieee: J. Böcker, Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin, 1982. mla: Böcker, Joachim. Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin, 1982. short: J. Böcker, Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme, Institut für Regelungstechnik, TU Berlin, 1982. date_created: 2022-02-21T14:04:55Z date_updated: 2022-03-17T09:41:17Z ddc: - '620' department: - _id: '52' extern: '1' file: - access_level: open_access content_type: application/pdf creator: boecker date_created: 2022-02-21T14:10:37Z date_updated: 2022-03-02T08:18:51Z file_id: '29935' file_name: Böcker 1982 Diplomarbeit.pdf file_size: 2298515 relation: main_file file_date_updated: 2022-03-02T08:18:51Z has_accepted_license: '1' language: - iso: ger oa: '1' publication_status: published publisher: Institut für Regelungstechnik, TU Berlin status: public title: Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme type: book user_id: '66' year: '1982' ... --- _id: '8255' abstract: - lang: eng text: The following paper demonstrates that programmed sequential graph grammars can be used in a systematic proceeding to specify the changes of high level intermediate data structures arising in a programming support environment, in which all tools work in an incremental and syntax-driven mode. In this paper we lay stress upon the way to get the specification rather than on the result of this process. Therefore, we give here some approach to specification engineering using graph grammars. This approach is influenced by the syntactical definition of the underlying programming language or module concept etc. to be supported but also by the idea of the user interface. author: - first_name: Manfred full_name: Nagl, Manfred last_name: Nagl - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Rupert full_name: Gall, Rupert last_name: Gall - first_name: Wilhelm full_name: Schäfer, Wilhelm last_name: Schäfer citation: ama: 'Nagl M, Engels G, Gall R, Schäfer W. Software Specification by Graph Grammars. In: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany). Vol 153. LNCS. Berlin/Heidelberg: Springer; 1983:267-287. doi:dx.doi.org/10.1007/BFb0000113' apa: 'Nagl, M., Engels, G., Gall, R., & Schäfer, W. (1983). Software Specification by Graph Grammars. In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany) (Vol. 153, pp. 267–287). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/BFb0000113' bibtex: '@inproceedings{Nagl_Engels_Gall_Schäfer_1983, place={Berlin/Heidelberg}, series={LNCS}, title={Software Specification by Graph Grammars}, volume={153}, DOI={dx.doi.org/10.1007/BFb0000113}, booktitle={Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)}, publisher={Springer}, author={Nagl, Manfred and Engels, Gregor and Gall, Rupert and Schäfer, Wilhelm}, year={1983}, pages={267–287}, collection={LNCS} }' chicago: 'Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software Specification by Graph Grammars.” In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. https://doi.org/dx.doi.org/10.1007/BFb0000113.' ieee: M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph Grammars,” in Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 1983, vol. 153, pp. 267–287. mla: Nagl, Manfred, et al. “Software Specification by Graph Grammars.” Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), vol. 153, Springer, 1983, pp. 267–87, doi:dx.doi.org/10.1007/BFb0000113. short: 'M. Nagl, G. Engels, R. Gall, W. Schäfer, in: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), Springer, Berlin/Heidelberg, 1983, pp. 267–287.' date_created: 2019-03-04T11:52:04Z date_updated: 2022-01-06T07:03:52Z department: - _id: '66' doi: dx.doi.org/10.1007/BFb0000113 intvolume: ' 153' language: - iso: eng page: 267-287 place: Berlin/Heidelberg publication: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany) publisher: Springer series_title: LNCS status: public title: Software Specification by Graph Grammars type: conference user_id: '52534' volume: 153 year: '1983' ...