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