[{"year":"1982","place":"München/Leipzig","citation":{"mla":"Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” <i>Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i>, Hanser, 1982, pp. 47–62.","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} }","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.","apa":"Engels, G., &#38; Schäfer, W. (1982). Specification of a Programming Support Environment by Graph Grammars. In <i>Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i> (pp. 47–62). München/Leipzig: Hanser.","ieee":"G. Engels and W. Schäfer, “Specification of a Programming Support Environment by Graph Grammars,” in <i>Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i>, 1982, pp. 47–62.","chicago":"Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” In <i>Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i>, 47–62. München/Leipzig: Hanser, 1982.","ama":"Engels G, Schäfer W. Specification of a Programming Support Environment by Graph Grammars. In: <i>Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)</i>. München/Leipzig: Hanser; 1982:47-62."},"page":"47-62","title":"Specification of a Programming Support Environment by Graph Grammars","date_updated":"2022-01-06T07:03:46Z","publisher":"Hanser","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"last_name":"Schäfer","full_name":"Schäfer, Wilhelm","first_name":"Wilhelm"}],"date_created":"2019-02-20T13:37:37Z","status":"public","type":"conference","publication":"Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)","language":[{"iso":"eng"}],"_id":"7811","user_id":"52534","department":[{"_id":"66"}]},{"publication":"Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)","type":"conference","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."}],"status":"public","_id":"7812","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"year":"1982","page":"254-270","intvolume":"        82","citation":{"ieee":"U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in <i>Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)</i>, 1982, vol. 82, pp. 254–270.","chicago":"Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>, 82:254–70, 1982.","ama":"Pletat U, Engels G, Ehrich H-D. An Operational Approach to Conditional Algebraic Specifications. In: <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>. Vol 82. ; 1982:254-270.","apa":"Pletat, U., Engels, G., &#38; Ehrich, H.-D. (1982). An Operational Approach to Conditional Algebraic Specifications. In <i>Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)</i> (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} }","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.","mla":"Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.” <i>Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France)</i>, vol. 82, 1982, pp. 254–70."},"date_updated":"2022-01-06T07:03:46Z","volume":82,"author":[{"first_name":"Udo","full_name":"Pletat, Udo","last_name":"Pletat"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"last_name":"Ehrich","full_name":"Ehrich, Hans-Dietrich","first_name":"Hans-Dietrich"}],"date_created":"2019-02-20T13:39:05Z","title":"An Operational Approach to Conditional Algebraic Specifications"},{"file":[{"file_size":2298515,"file_id":"29935","file_name":"Böcker 1982 Diplomarbeit.pdf","access_level":"open_access","date_updated":"2022-03-02T08:18:51Z","creator":"boecker","date_created":"2022-02-21T14:10:37Z","relation":"main_file","content_type":"application/pdf"}],"status":"public","type":"book","ddc":["620"],"file_date_updated":"2022-03-02T08:18:51Z","language":[{"iso":"ger"}],"extern":"1","_id":"29933","user_id":"66","department":[{"_id":"52"}],"year":"1982","citation":{"mla":"Böcker, Joachim. <i>Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme</i>. 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.","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} }","apa":"Böcker, J. (1982). <i>Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme</i>. Institut für Regelungstechnik, TU Berlin.","ama":"Böcker J. <i>Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme</i>. Institut für Regelungstechnik, TU Berlin; 1982.","ieee":"J. Böcker, <i>Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme</i>. Institut für Regelungstechnik, TU Berlin, 1982.","chicago":"Böcker, Joachim. <i>Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme</i>. Institut für Regelungstechnik, TU Berlin, 1982."},"publication_status":"published","has_accepted_license":"1","title":"Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme","oa":"1","publisher":"Institut für Regelungstechnik, TU Berlin","date_updated":"2022-03-17T09:41:17Z","date_created":"2022-02-21T14:04:55Z","author":[{"first_name":"Joachim","orcid":"0000-0002-8480-7295","last_name":"Böcker","full_name":"Böcker, Joachim","id":"66"}]},{"_id":"56250","department":[{"_id":"363"}],"user_id":"37888","language":[{"iso":"eng"}],"extern":"1","publication":"International Journal of Mathematics Education in Science and Technology","type":"journal_article","status":"public","date_updated":"2024-10-23T09:43:36Z","volume":13,"author":[{"last_name":"Biehler","id":"16274","full_name":"Biehler, Rolf","first_name":"Rolf"}],"date_created":"2024-09-25T08:30:55Z","title":"The role of applications of mathematics in the theory and practice of mathematics education in the Federal Republic of Germany - a report on literature, projects, and ideas","main_file_link":[{"url":"https://www.tandfonline.com/doi/pdf/10.1080/0020739820130212?needAccess=true"}],"issue":"2","year":"1982","intvolume":"        13","page":"199-216","citation":{"ama":"Biehler R. The role of applications of mathematics in the theory and practice of mathematics education in the Federal Republic of Germany - a report on literature, projects, and ideas. <i>International Journal of Mathematics Education in Science and Technology</i>. 1982;13(2):199-216.","ieee":"R. Biehler, “The role of applications of mathematics in the theory and practice of mathematics education in the Federal Republic of Germany - a report on literature, projects, and ideas,” <i>International Journal of Mathematics Education in Science and Technology</i>, vol. 13, no. 2, pp. 199–216, 1982.","chicago":"Biehler, Rolf. “The Role of Applications of Mathematics in the Theory and Practice of Mathematics Education in the Federal Republic of Germany - a Report on Literature, Projects, and Ideas.” <i>International Journal of Mathematics Education in Science and Technology</i> 13, no. 2 (1982): 199–216.","apa":"Biehler, R. (1982). The role of applications of mathematics in the theory and practice of mathematics education in the Federal Republic of Germany - a report on literature, projects, and ideas. <i>International Journal of Mathematics Education in Science and Technology</i>, <i>13</i>(2), 199–216.","short":"R. Biehler, International Journal of Mathematics Education in Science and Technology 13 (1982) 199–216.","bibtex":"@article{Biehler_1982, title={The role of applications of mathematics in the theory and practice of mathematics education in the Federal Republic of Germany - a report on literature, projects, and ideas}, volume={13}, number={2}, journal={International Journal of Mathematics Education in Science and Technology}, author={Biehler, Rolf}, year={1982}, pages={199–216} }","mla":"Biehler, Rolf. “The Role of Applications of Mathematics in the Theory and Practice of Mathematics Education in the Federal Republic of Germany - a Report on Literature, Projects, and Ideas.” <i>International Journal of Mathematics Education in Science and Technology</i>, vol. 13, no. 2, 1982, pp. 199–216."}},{"title":"Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie","publisher":"Universität Bielefeld, Institut für Didaktik der Mathematik","date_updated":"2024-10-23T10:59:13Z","date_created":"2024-10-23T09:12:17Z","author":[{"last_name":"Biehler","id":"16274","full_name":"Biehler, Rolf","first_name":"Rolf"}],"year":"1982","citation":{"apa":"Biehler, R. (1982). Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie. <i>IDM Materialien und Studien 24</i>.","short":"R. Biehler, IDM Materialien und Studien 24 (1982).","mla":"Biehler, Rolf. “Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie.” <i>IDM Materialien und Studien 24</i>, Universität Bielefeld, Institut für Didaktik der Mathematik, 1982.","bibtex":"@article{Biehler_1982, title={Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie}, journal={IDM Materialien und Studien 24}, publisher={Universität Bielefeld, Institut für Didaktik der Mathematik}, author={Biehler, Rolf}, year={1982} }","ieee":"R. Biehler, “Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie,” <i>IDM Materialien und Studien 24</i>, 1982.","chicago":"Biehler, Rolf. “Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie.” <i>IDM Materialien und Studien 24</i>, 1982.","ama":"Biehler R. Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie. <i>IDM Materialien und Studien 24</i>. Published online 1982."},"language":[{"iso":"ger"}],"extern":"1","_id":"56729","user_id":"37888","department":[{"_id":"363"}],"status":"public","type":"journal_article","publication":"IDM Materialien und Studien 24"},{"publication":"Mathematik Philosophie Bildung","type":"book_chapter","editor":[{"last_name":"Steiner","full_name":"Steiner, H.-G.","first_name":"H.-G."}],"status":"public","_id":"56730","department":[{"_id":"363"}],"user_id":"37888","extern":"1","language":[{"iso":"ger"}],"year":"1982","place":"Köln","page":"296–334","citation":{"ama":"Biehler R, Steinbring H. Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen? In: Steiner H-G, ed. <i>Mathematik Philosophie Bildung</i>. Aulis; 1982:296–334.","ieee":"R. Biehler and H. Steinbring, “Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen?,” in <i>Mathematik Philosophie Bildung</i>, H.-G. Steiner, Ed. Köln: Aulis, 1982, pp. 296–334.","chicago":"Biehler, Rolf, and H Steinbring. “Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen?” In <i>Mathematik Philosophie Bildung</i>, edited by H.-G. Steiner, 296–334. Köln: Aulis, 1982.","apa":"Biehler, R., &#38; Steinbring, H. (1982). Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen? In H.-G. Steiner (Ed.), <i>Mathematik Philosophie Bildung</i> (pp. 296–334). Aulis.","short":"R. Biehler, H. Steinbring, in: H.-G. Steiner (Ed.), Mathematik Philosophie Bildung, Aulis, Köln, 1982, pp. 296–334.","mla":"Biehler, Rolf, and H. Steinbring. “Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen?” <i>Mathematik Philosophie Bildung</i>, edited by H.-G. Steiner, Aulis, 1982, pp. 296–334.","bibtex":"@inbook{Biehler_Steinbring_1982, place={Köln}, title={Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen?}, booktitle={Mathematik Philosophie Bildung}, publisher={Aulis}, author={Biehler, Rolf and Steinbring, H}, editor={Steiner, H.-G.}, year={1982}, pages={296–334} }"},"date_updated":"2024-10-23T10:59:23Z","publisher":"Aulis","date_created":"2024-10-23T09:13:58Z","author":[{"last_name":"Biehler","full_name":"Biehler, Rolf","id":"16274","first_name":"Rolf"},{"last_name":"Steinbring","full_name":"Steinbring, H","first_name":"H"}],"title":"Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen?"}]