---
_id: '19814'
author:
- first_name: A.
full_name: Flögel, A.
last_name: Flögel
- first_name: H.
full_name: Kleine Büning, H.
last_name: Kleine Büning
- first_name: Theodor
full_name: Lettmann, Theodor
id: '315'
last_name: Lettmann
orcid: 0000-0001-5859-2457
citation:
ama: Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses
of propositional logic. RAIRO - Theoretical Informatics and Applications.
1993:327-340. doi:10.1051/ita/1993270403271
apa: Flögel, A., Kleine Büning, H., & Lettmann, T. (1993). On the restricted
equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics
and Applications, 327–340. https://doi.org/10.1051/ita/1993270403271
bibtex: '@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence
for subclasses of propositional logic}, DOI={10.1051/ita/1993270403271},
journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A.
and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }'
chicago: Flögel, A., H. Kleine Büning, and Theodor Lettmann. “On the Restricted
Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics
and Applications, 1993, 327–40. https://doi.org/10.1051/ita/1993270403271.
ieee: A. Flögel, H. Kleine Büning, and T. Lettmann, “On the restricted equivalence
for subclasses of propositional logic,” RAIRO - Theoretical Informatics and
Applications, pp. 327–340, 1993.
mla: Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional
Logic.” RAIRO - Theoretical Informatics and Applications, 1993, pp. 327–40,
doi:10.1051/ita/1993270403271.
short: A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics
and Applications (1993) 327–340.
date_created: 2020-10-01T08:10:48Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1051/ita/1993270403271
language:
- iso: eng
page: 327-340
publication: RAIRO - Theoretical Informatics and Applications
publication_identifier:
issn:
- 0988-3754
- 1290-385X
publication_status: published
status: public
title: On the restricted equivalence for subclasses of propositional logic
type: journal_article
user_id: '315'
year: '1993'
...
---
_id: '2453'
author:
- first_name: Jens
full_name: Simon, Jens
id: '15273'
last_name: Simon
citation:
ama: Simon J. Benutzung Virtueller Topologien Unter PARIX. Paderborn Center
for Parallel Computing; 1993.
apa: Simon, J. (1993). Benutzung virtueller Topologien unter PARIX. Paderborn
Center for Parallel Computing.
bibtex: '@book{Simon_1993, title={Benutzung virtueller Topologien unter PARIX},
publisher={Paderborn Center for Parallel Computing}, author={Simon, Jens}, year={1993}
}'
chicago: Simon, Jens. Benutzung Virtueller Topologien Unter PARIX. Paderborn
Center for Parallel Computing, 1993.
ieee: J. Simon, Benutzung virtueller Topologien unter PARIX. Paderborn Center
for Parallel Computing, 1993.
mla: Simon, Jens. Benutzung Virtueller Topologien Unter PARIX. Paderborn
Center for Parallel Computing, 1993.
short: J. Simon, Benutzung Virtueller Topologien Unter PARIX, Paderborn Center for
Parallel Computing, 1993.
date_created: 2018-04-18T13:53:34Z
date_updated: 2022-01-06T06:56:27Z
department:
- _id: '27'
publisher: Paderborn Center for Parallel Computing
report_number: TR-006-93
status: public
title: Benutzung virtueller Topologien unter PARIX
type: report
user_id: '24135'
year: '1993'
...
---
_id: '2454'
author:
- first_name: Markus
full_name: Röttger, Markus
last_name: Röttger
- first_name: Jens
full_name: Simon, Jens
id: '15273'
last_name: Simon
- first_name: Ulf-Peter
full_name: Schroeder, Ulf-Peter
last_name: Schroeder
citation:
ama: Röttger M, Simon J, Schroeder U-P. Virtual Topology Library for PARIX.
Paderborn Center for Parallel Computing; 1993.
apa: Röttger, M., Simon, J., & Schroeder, U.-P. (1993). Virtual Topology
Library for PARIX. Paderborn Center for Parallel Computing.
bibtex: '@book{Röttger_Simon_Schroeder_1993, title={Virtual Topology Library for
PARIX}, publisher={Paderborn Center for Parallel Computing}, author={Röttger,
Markus and Simon, Jens and Schroeder, Ulf-Peter}, year={1993} }'
chicago: Röttger, Markus, Jens Simon, and Ulf-Peter Schroeder. Virtual Topology
Library for PARIX. Paderborn Center for Parallel Computing, 1993.
ieee: M. Röttger, J. Simon, and U.-P. Schroeder, Virtual Topology Library for
PARIX. Paderborn Center for Parallel Computing, 1993.
mla: Röttger, Markus, et al. Virtual Topology Library for PARIX. Paderborn
Center for Parallel Computing, 1993.
short: M. Röttger, J. Simon, U.-P. Schroeder, Virtual Topology Library for PARIX,
Paderborn Center for Parallel Computing, 1993.
date_created: 2018-04-18T13:54:13Z
date_updated: 2022-01-06T06:56:27Z
department:
- _id: '27'
publisher: Paderborn Center for Parallel Computing
report_number: TR-005-93
status: public
title: Virtual Topology Library for PARIX
type: report
user_id: '24135'
year: '1993'
...
---
_id: '2455'
author:
- first_name: Ralf
full_name: Diekmann, Ralf
last_name: Diekmann
- first_name: Reinhard
full_name: Lüling, Reinhard
last_name: Lüling
- first_name: Jens
full_name: Simon, Jens
id: '15273'
last_name: Simon
citation:
ama: Diekmann R, Lüling R, Simon J. Problem Independent Distributed Simulated
Annealing and Its Applications. Paderborn Center for Parallel Computing; 1993.
apa: Diekmann, R., Lüling, R., & Simon, J. (1993). Problem Independent Distributed
Simulated Annealing and its Applications. Paderborn Center for Parallel Computing.
bibtex: '@book{Diekmann_Lüling_Simon_1993, title={Problem Independent Distributed
Simulated Annealing and its Applications}, publisher={Paderborn Center for Parallel
Computing}, author={Diekmann, Ralf and Lüling, Reinhard and Simon, Jens}, year={1993}
}'
chicago: Diekmann, Ralf, Reinhard Lüling, and Jens Simon. Problem Independent
Distributed Simulated Annealing and Its Applications. Paderborn Center for
Parallel Computing, 1993.
ieee: R. Diekmann, R. Lüling, and J. Simon, Problem Independent Distributed Simulated
Annealing and its Applications. Paderborn Center for Parallel Computing, 1993.
mla: Diekmann, Ralf, et al. Problem Independent Distributed Simulated Annealing
and Its Applications. Paderborn Center for Parallel Computing, 1993.
short: R. Diekmann, R. Lüling, J. Simon, Problem Independent Distributed Simulated
Annealing and Its Applications, Paderborn Center for Parallel Computing, 1993.
date_created: 2018-04-18T13:58:12Z
date_updated: 2022-01-06T06:56:27Z
department:
- _id: '27'
publisher: Paderborn Center for Parallel Computing
report_number: TR-003-93
status: public
title: Problem Independent Distributed Simulated Annealing and its Applications
type: report
user_id: '24135'
year: '1993'
...
---
_id: '2456'
author:
- first_name: Ralf
full_name: Diekmann, Ralf
last_name: Diekmann
- first_name: Jens
full_name: Simon, Jens
id: '15273'
last_name: Simon
citation:
ama: 'Diekmann R, Simon J. Problem Independent Distributed Simulated Annealing and
its Applications. In: Applied Simulated Annealing. Vol 396. Lecture Notes
in Economics and Mathematical Systems (LNE). Berlin / Heidelberg: Springer; 1993:17-44.
doi:10.1007/978-3-642-46787-5_2'
apa: 'Diekmann, R., & Simon, J. (1993). Problem Independent Distributed Simulated
Annealing and its Applications. In Applied Simulated Annealing (Vol. 396,
pp. 17–44). Berlin / Heidelberg: Springer. https://doi.org/10.1007/978-3-642-46787-5_2'
bibtex: '@inbook{Diekmann_Simon_1993, place={Berlin / Heidelberg}, series={Lecture
Notes in Economics and Mathematical Systems (LNE)}, title={Problem Independent
Distributed Simulated Annealing and its Applications}, volume={396}, DOI={10.1007/978-3-642-46787-5_2},
booktitle={Applied Simulated Annealing}, publisher={Springer}, author={Diekmann,
Ralf and Simon, Jens}, year={1993}, pages={17–44}, collection={Lecture Notes in
Economics and Mathematical Systems (LNE)} }'
chicago: 'Diekmann, Ralf, and Jens Simon. “Problem Independent Distributed Simulated
Annealing and Its Applications.” In Applied Simulated Annealing, 396:17–44.
Lecture Notes in Economics and Mathematical Systems (LNE). Berlin / Heidelberg:
Springer, 1993. https://doi.org/10.1007/978-3-642-46787-5_2.'
ieee: 'R. Diekmann and J. Simon, “Problem Independent Distributed Simulated Annealing
and its Applications,” in Applied Simulated Annealing, vol. 396, Berlin
/ Heidelberg: Springer, 1993, pp. 17–44.'
mla: Diekmann, Ralf, and Jens Simon. “Problem Independent Distributed Simulated
Annealing and Its Applications.” Applied Simulated Annealing, vol. 396,
Springer, 1993, pp. 17–44, doi:10.1007/978-3-642-46787-5_2.
short: 'R. Diekmann, J. Simon, in: Applied Simulated Annealing, Springer, Berlin
/ Heidelberg, 1993, pp. 17–44.'
date_created: 2018-04-18T13:58:43Z
date_updated: 2022-01-06T06:56:27Z
department:
- _id: '27'
doi: 10.1007/978-3-642-46787-5_2
intvolume: ' 396'
page: 17-44
place: Berlin / Heidelberg
publication: Applied Simulated Annealing
publication_identifier:
isbn:
- 978-3-642-46787-5
unknown:
- 978-3-540-56229-0
publisher: Springer
series_title: Lecture Notes in Economics and Mathematical Systems (LNE)
status: public
title: Problem Independent Distributed Simulated Annealing and its Applications
type: book_chapter
user_id: '24135'
volume: 396
year: '1993'
...
---
_id: '3045'
author:
- first_name: Johannes
full_name: Blömer, Johannes
last_name: Blömer
citation:
ama: Blömer J. On Kummer Theory and the Number of Roots of Unity in Radical Extensions
of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und
Informatik; 1993.
apa: Blömer, J. (1993). On Kummer theory and the number of roots of unity in
radical extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich
Mathematik und Informatik.
bibtex: '@book{Blömer_1993, title={On Kummer theory and the number of roots of unity
in radical extensions of Q}, publisher={Technical Report, Freie Universität Berlin,
Fachbereich Mathematik und Informatik}, author={Blömer, Johannes}, year={1993}
}'
chicago: Blömer, Johannes. On Kummer Theory and the Number of Roots of Unity
in Radical Extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich
Mathematik und Informatik, 1993.
ieee: J. Blömer, On Kummer theory and the number of roots of unity in radical
extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik
und Informatik, 1993.
mla: Blömer, Johannes. On Kummer Theory and the Number of Roots of Unity in Radical
Extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik
und Informatik, 1993.
short: J. Blömer, On Kummer Theory and the Number of Roots of Unity in Radical Extensions
of Q, Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik,
1993.
date_created: 2018-06-05T08:48:42Z
date_updated: 2022-01-06T06:58:54Z
department:
- _id: '64'
extern: '1'
publisher: Technical Report, Freie Universität Berlin, Fachbereich Mathematik und
Informatik
status: public
title: On Kummer theory and the number of roots of unity in radical extensions of
Q
type: report
user_id: '25078'
year: '1993'
...
---
_id: '3069'
author:
- first_name: Thomas
full_name: Gries, Thomas
id: '186'
last_name: Gries
- first_name: B.
full_name: Wigger, B.
last_name: Wigger
citation:
ama: Gries T, Wigger B. The Dynamics of Upgrading or how to catch-up. Economia
Internationale. 1993;46(4):3-13.
apa: Gries, T., & Wigger, B. (1993). The Dynamics of Upgrading or how to catch-up.
Economia Internationale, 46(4), 3–13.
bibtex: '@article{Gries_Wigger_1993, title={The Dynamics of Upgrading or how to
catch-up}, volume={46}, number={4}, journal={Economia Internationale}, author={Gries,
Thomas and Wigger, B.}, year={1993}, pages={3–13} }'
chicago: 'Gries, Thomas, and B. Wigger. “The Dynamics of Upgrading or How to Catch-Up.”
Economia Internationale 46, no. 4 (1993): 3–13.'
ieee: T. Gries and B. Wigger, “The Dynamics of Upgrading or how to catch-up,” Economia
Internationale, vol. 46, no. 4, pp. 3–13, 1993.
mla: Gries, Thomas, and B. Wigger. “The Dynamics of Upgrading or How to Catch-Up.”
Economia Internationale, vol. 46, no. 4, 1993, pp. 3–13.
short: T. Gries, B. Wigger, Economia Internationale 46 (1993) 3–13.
date_created: 2018-06-05T12:39:35Z
date_updated: 2022-01-06T06:58:54Z
department:
- _id: '19'
- _id: '200'
- _id: '475'
- _id: '202'
intvolume: ' 46'
issue: '4'
page: 3-13
publication: Economia Internationale
status: public
title: The Dynamics of Upgrading or how to catch-up
type: journal_article
user_id: '186'
volume: 46
year: '1993'
...
---
_id: '17302'
author:
- first_name: Benno
full_name: Fuchssteiner, Benno
last_name: Fuchssteiner
- first_name: W.
full_name: Wiwianka, W.
last_name: Wiwianka
- first_name: K.
full_name: Gottheil, K.
last_name: Gottheil
- first_name: A.
full_name: Kemper, A.
last_name: Kemper
- first_name: O.
full_name: Kluge, O.
last_name: Kluge
- first_name: K.
full_name: Morisse, K.
last_name: Morisse
- first_name: H.
full_name: Naundorf, H.
last_name: Naundorf
- first_name: Gudrun
full_name: Oevel, Gudrun
id: '14924'
last_name: Oevel
orcid: https://orcid.org/0000-0002-6396-9535
- first_name: T.
full_name: Schulze, T.
last_name: Schulze
citation:
ama: 'Fuchssteiner B, Wiwianka W, Gottheil K, et al. MuPAD: Multi Processing
Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1. Basel-Boston-Berlin:
Birkhäuser; 1993.'
apa: 'Fuchssteiner, B., Wiwianka, W., Gottheil, K., Kemper, A., Kluge, O., Morisse,
K., … Schulze, T. (1993). MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch;
MuPAD Version 1.1. Basel-Boston-Berlin: Birkhäuser.'
bibtex: '@book{Fuchssteiner_Wiwianka_Gottheil_Kemper_Kluge_Morisse_Naundorf_Oevel_Schulze_1993,
place={Basel-Boston-Berlin}, title={MuPAD: Multi Processing Algebra Data Tool;
Benutzerhandbuch; MuPAD Version 1.1}, publisher={Birkhäuser}, author={Fuchssteiner,
Benno and Wiwianka, W. and Gottheil, K. and Kemper, A. and Kluge, O. and Morisse,
K. and Naundorf, H. and Oevel, Gudrun and Schulze, T.}, year={1993} }'
chicago: 'Fuchssteiner, Benno, W. Wiwianka, K. Gottheil, A. Kemper, O. Kluge, K.
Morisse, H. Naundorf, Gudrun Oevel, and T. Schulze. MuPAD: Multi Processing
Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1. Basel-Boston-Berlin:
Birkhäuser, 1993.'
ieee: 'B. Fuchssteiner et al., MuPAD: Multi Processing Algebra Data Tool;
Benutzerhandbuch; MuPAD Version 1.1. Basel-Boston-Berlin: Birkhäuser, 1993.'
mla: 'Fuchssteiner, Benno, et al. MuPAD: Multi Processing Algebra Data Tool;
Benutzerhandbuch; MuPAD Version 1.1. Birkhäuser, 1993.'
short: 'B. Fuchssteiner, W. Wiwianka, K. Gottheil, A. Kemper, O. Kluge, K. Morisse,
H. Naundorf, G. Oevel, T. Schulze, MuPAD: Multi Processing Algebra Data Tool;
Benutzerhandbuch; MuPAD Version 1.1, Birkhäuser, Basel-Boston-Berlin, 1993.'
date_created: 2020-06-25T06:42:30Z
date_updated: 2022-01-06T06:53:07Z
department:
- _id: '25'
language:
- iso: ger
place: Basel-Boston-Berlin
publisher: Birkhäuser
status: public
title: 'MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version
1.1'
type: book
user_id: '14932'
year: '1993'
...
---
_id: '17476'
author:
- first_name: Volker
full_name: Peckhaus, Volker
id: '391'
last_name: Peckhaus
citation:
ama: 'Peckhaus V. Ernst Schröder und der Logizismus. In: Stelzner W, ed. Philosophie
und Logik. Frege-Kolloquien Jena 1989/1991. Vol 3. Perspektiven der Analytischen
Philosophie. Berlin/New York: Walter de Gruyter; 1993:108-119.'
apa: 'Peckhaus, V. (1993). Ernst Schröder und der Logizismus. In W. Stelzner (Ed.),
Philosophie und Logik. Frege-Kolloquien Jena 1989/1991 (Vol. 3, pp. 108–119).
Berlin/New York: Walter de Gruyter.'
bibtex: '@inproceedings{Peckhaus_1993, place={Berlin/New York}, series={Perspektiven
der Analytischen Philosophie}, title={Ernst Schröder und der Logizismus}, volume={3},
booktitle={Philosophie und Logik. Frege-Kolloquien Jena 1989/1991}, publisher={Walter
de Gruyter}, author={Peckhaus, Volker}, editor={Stelzner, WernerEditor}, year={1993},
pages={108–119}, collection={Perspektiven der Analytischen Philosophie} }'
chicago: 'Peckhaus, Volker. “Ernst Schröder und der Logizismus.” In Philosophie
und Logik. Frege-Kolloquien Jena 1989/1991, edited by Werner Stelzner, 3:108–19.
Perspektiven der Analytischen Philosophie. Berlin/New York: Walter de Gruyter,
1993.'
ieee: V. Peckhaus, “Ernst Schröder und der Logizismus,” in Philosophie und Logik.
Frege-Kolloquien Jena 1989/1991, 1993, vol. 3, pp. 108–119.
mla: Peckhaus, Volker. “Ernst Schröder und der Logizismus.” Philosophie und Logik.
Frege-Kolloquien Jena 1989/1991, edited by Werner Stelzner, vol. 3, Walter
de Gruyter, 1993, pp. 108–19.
short: 'V. Peckhaus, in: W. Stelzner (Ed.), Philosophie und Logik. Frege-Kolloquien
Jena 1989/1991, Walter de Gruyter, Berlin/New York, 1993, pp. 108–119.'
date_created: 2020-07-30T09:23:02Z
date_updated: 2022-01-06T06:53:12Z
department:
- _id: '520'
editor:
- first_name: Werner
full_name: Stelzner, Werner
last_name: Stelzner
extern: '1'
intvolume: ' 3'
language:
- iso: ger
page: 108-119
place: Berlin/New York
publication: Philosophie und Logik. Frege-Kolloquien Jena 1989/1991
publisher: Walter de Gruyter
series_title: Perspektiven der Analytischen Philosophie
status: public
title: Ernst Schröder und der Logizismus
type: conference
user_id: '14932'
volume: 3
year: '1993'
...
---
_id: '17477'
citation:
ama: 'Meyer auf der Heide F, Monien B, Rosenberg AL, eds. Parallel Architectures
and Their Efficient Use. Berlin, Heidelberg: Springer; 1993. doi:10.1007/3-540-56731-3'
apa: 'Meyer auf der Heide, F., Monien, B., & Rosenberg, A. L. (Eds.). (1993).
Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer.
https://doi.org/10.1007/3-540-56731-3'
bibtex: '@book{Meyer auf der Heide_Monien_Rosenberg_1993, place={Berlin, Heidelberg},
title={Parallel Architectures and Their Efficient Use}, DOI={10.1007/3-540-56731-3},
publisher={Springer}, year={1993} }'
chicago: 'Meyer auf der Heide, Friedhelm, B. Monien, and A. L. Rosenberg, eds. Parallel
Architectures and Their Efficient Use. Berlin, Heidelberg: Springer, 1993.
https://doi.org/10.1007/3-540-56731-3.'
ieee: 'F. Meyer auf der Heide, B. Monien, and A. L. Rosenberg, Eds., Parallel
Architectures and Their Efficient Use. Berlin, Heidelberg: Springer, 1993.'
mla: Meyer auf der Heide, Friedhelm, et al., editors. Parallel Architectures
and Their Efficient Use. Springer, 1993, doi:10.1007/3-540-56731-3.
short: F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures
and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
date_created: 2020-07-30T09:49:20Z
date_updated: 2022-01-06T06:53:12Z
department:
- _id: '63'
doi: 10.1007/3-540-56731-3
editor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: B.
full_name: Monien, B.
last_name: Monien
- first_name: A. L.
full_name: Rosenberg, A. L.
last_name: Rosenberg
language:
- iso: eng
place: Berlin, Heidelberg
publication_identifier:
isbn:
- '9783540567318'
- '9783540476375'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer
status: public
title: Parallel Architectures and Their Efficient Use
type: book_editor
user_id: '15415'
year: '1993'
...