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