@article{19814, author = {{Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}}, issn = {{0988-3754}}, journal = {{RAIRO - Theoretical Informatics and Applications}}, pages = {{327--340}}, title = {{{On the restricted equivalence for subclasses of propositional logic}}}, doi = {{10.1051/ita/1993270403271}}, year = {{1993}}, } @techreport{2453, author = {{Simon, Jens}}, publisher = {{Paderborn Center for Parallel Computing}}, title = {{{Benutzung virtueller Topologien unter PARIX}}}, year = {{1993}}, } @techreport{2454, author = {{Röttger, Markus and Simon, Jens and Schroeder, Ulf-Peter}}, publisher = {{Paderborn Center for Parallel Computing}}, title = {{{Virtual Topology Library for PARIX}}}, year = {{1993}}, } @techreport{2455, author = {{Diekmann, Ralf and Lüling, Reinhard and Simon, Jens}}, publisher = {{Paderborn Center for Parallel Computing}}, title = {{{Problem Independent Distributed Simulated Annealing and its Applications}}}, year = {{1993}}, } @inbook{2456, author = {{Diekmann, Ralf and Simon, Jens}}, booktitle = {{Applied Simulated Annealing}}, isbn = {{978-3-642-46787-5}}, pages = {{17--44}}, publisher = {{Springer}}, title = {{{Problem Independent Distributed Simulated Annealing and its Applications}}}, doi = {{10.1007/978-3-642-46787-5_2}}, volume = {{396}}, year = {{1993}}, } @techreport{3045, author = {{Blömer, Johannes}}, 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}}}, year = {{1993}}, } @article{3069, author = {{Gries, Thomas and Wigger, B.}}, journal = {{Economia Internationale}}, number = {{4}}, pages = {{3--13}}, title = {{{The Dynamics of Upgrading or how to catch-up}}}, volume = {{46}}, year = {{1993}}, } @book{17302, 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.}}, publisher = {{Birkhäuser}}, title = {{{MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1}}}, year = {{1993}}, } @inproceedings{17476, author = {{Peckhaus, Volker}}, booktitle = {{Philosophie und Logik. Frege-Kolloquien Jena 1989/1991}}, editor = {{Stelzner, Werner}}, pages = {{108--119}}, publisher = {{Walter de Gruyter}}, title = {{{Ernst Schröder und der Logizismus}}}, volume = {{3}}, year = {{1993}}, } @book{17477, editor = {{Meyer auf der Heide, Friedhelm and Monien, B. and Rosenberg, A. L.}}, isbn = {{9783540567318}}, issn = {{0302-9743}}, publisher = {{Springer}}, title = {{{Parallel Architectures and Their Efficient Use}}}, doi = {{10.1007/3-540-56731-3}}, year = {{1993}}, }