--- _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' ...