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