---
_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: <i>Proceedings of the Conference on Graphtheoretic Concepts
    in Computer Science (WG`82), München (Germany)</i>. München/Leipzig: Hanser; 1982: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.'
  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 <i>Proceedings of the Conference on Graphtheoretic
    Concepts in Computer Science (WG`82), München (Germany)</i>, 47–62. München/Leipzig:
    Hanser, 1982.'
  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.
  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.
  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: <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} }'
  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.
  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.
  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.
  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. <i>Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer
    Regelungssysteme</i>. Institut für Regelungstechnik, TU Berlin; 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.
  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. <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.
  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.
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: '56250'
author:
- first_name: Rolf
  full_name: Biehler, Rolf
  id: '16274'
  last_name: Biehler
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.
  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.
  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} }'
  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.'
  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.
  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.
  short: R. Biehler, International Journal of Mathematics Education in Science and
    Technology 13 (1982) 199–216.
date_created: 2024-09-25T08:30:55Z
date_updated: 2024-10-23T09:43:36Z
department:
- _id: '363'
extern: '1'
intvolume: '        13'
issue: '2'
language:
- iso: eng
main_file_link:
- url: https://www.tandfonline.com/doi/pdf/10.1080/0020739820130212?needAccess=true
page: 199-216
publication: International Journal of Mathematics Education in Science and Technology
status: public
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
type: journal_article
user_id: '37888'
volume: 13
year: '1982'
...
---
_id: '56729'
author:
- first_name: Rolf
  full_name: Biehler, Rolf
  id: '16274'
  last_name: Biehler
citation:
  ama: 'Biehler R. Explorative Datenanalyse: eine Untersuchung aus der Perspektive
    einer deskriptiv-empirischen Wissenschaftstheorie. <i>IDM Materialien und Studien
    24</i>. Published online 1982.'
  apa: 'Biehler, R. (1982). Explorative Datenanalyse: eine Untersuchung aus der Perspektive
    einer deskriptiv-empirischen Wissenschaftstheorie. <i>IDM Materialien und Studien
    24</i>.'
  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} }'
  chicago: 'Biehler, Rolf. “Explorative Datenanalyse: eine Untersuchung aus der Perspektive
    einer deskriptiv-empirischen Wissenschaftstheorie.” <i>IDM Materialien und Studien
    24</i>, 1982.'
  ieee: 'R. Biehler, “Explorative Datenanalyse: eine Untersuchung aus der Perspektive
    einer deskriptiv-empirischen Wissenschaftstheorie,” <i>IDM Materialien und Studien
    24</i>, 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.'
  short: R. Biehler, IDM Materialien und Studien 24 (1982).
date_created: 2024-10-23T09:12:17Z
date_updated: 2024-10-23T10:59:13Z
department:
- _id: '363'
extern: '1'
language:
- iso: ger
publication: IDM Materialien und Studien 24
publisher: Universität Bielefeld, Institut für Didaktik der Mathematik
status: public
title: 'Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen
  Wissenschaftstheorie'
type: journal_article
user_id: '37888'
year: '1982'
...
---
_id: '56730'
author:
- first_name: Rolf
  full_name: Biehler, Rolf
  id: '16274'
  last_name: Biehler
- first_name: H
  full_name: Steinbring, H
  last_name: Steinbring
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.'
  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.'
  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} }'
  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.'
  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.'
  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.'
  short: 'R. Biehler, H. Steinbring, in: H.-G. Steiner (Ed.), Mathematik Philosophie
    Bildung, Aulis, Köln, 1982, pp. 296–334.'
date_created: 2024-10-23T09:13:58Z
date_updated: 2024-10-23T10:59:23Z
department:
- _id: '363'
editor:
- first_name: H.-G.
  full_name: Steiner, H.-G.
  last_name: Steiner
extern: '1'
language:
- iso: ger
page: 296–334
place: Köln
publication: Mathematik Philosophie Bildung
publisher: Aulis
status: public
title: 'Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen
  Zahlen?'
type: book_chapter
user_id: '37888'
year: '1982'
...