Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
106 Publications
1993 | Journal Article | LibreCat-ID: 19814
On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
LibreCat
| DOI
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
1993 | Report | LibreCat-ID: 2453
Benutzung virtueller Topologien unter PARIX
J. Simon, Benutzung Virtueller Topologien Unter PARIX, Paderborn Center for Parallel Computing, 1993.
LibreCat
J. Simon, Benutzung Virtueller Topologien Unter PARIX, Paderborn Center for Parallel Computing, 1993.
1993 | Report | LibreCat-ID: 2454
Virtual Topology Library for PARIX
M. Röttger, J. Simon, U.-P. Schroeder, Virtual Topology Library for PARIX, Paderborn Center for Parallel Computing, 1993.
LibreCat
M. Röttger, J. Simon, U.-P. Schroeder, Virtual Topology Library for PARIX, Paderborn Center for Parallel Computing, 1993.
1993 | Report | LibreCat-ID: 2455
Problem Independent Distributed Simulated Annealing and its Applications
R. Diekmann, R. Lüling, J. Simon, Problem Independent Distributed Simulated Annealing and Its Applications, Paderborn Center for Parallel Computing, 1993.
LibreCat
R. Diekmann, R. Lüling, J. Simon, Problem Independent Distributed Simulated Annealing and Its Applications, Paderborn Center for Parallel Computing, 1993.
1993 | Book Chapter | LibreCat-ID: 2456
Problem Independent Distributed Simulated Annealing and its Applications
R. Diekmann, J. Simon, in: Applied Simulated Annealing, Springer, Berlin / Heidelberg, 1993, pp. 17–44.
LibreCat
| DOI
R. Diekmann, J. Simon, in: Applied Simulated Annealing, Springer, Berlin / Heidelberg, 1993, pp. 17–44.
1993 | Report | LibreCat-ID: 3045
On Kummer theory and the number of roots of unity in radical extensions of Q
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.
LibreCat
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.
1993 | Journal Article | LibreCat-ID: 3069
The Dynamics of Upgrading or how to catch-up
T. Gries, B. Wigger, Economia Internationale 46 (1993) 3–13.
LibreCat
T. Gries, B. Wigger, Economia Internationale 46 (1993) 3–13.
1993 | Book | LibreCat-ID: 17302
MuPAD: Multi Processing Algebra Data Tool; Benutzerhandbuch; MuPAD Version 1.1
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.
LibreCat
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.
1993 | Conference Paper | LibreCat-ID: 17476
Ernst Schröder und der Logizismus
V. Peckhaus, in: W. Stelzner (Ed.), Philosophie und Logik. Frege-Kolloquien Jena 1989/1991, Walter de Gruyter, Berlin/New York, 1993, pp. 108–119.
LibreCat
V. Peckhaus, in: W. Stelzner (Ed.), Philosophie und Logik. Frege-Kolloquien Jena 1989/1991, Walter de Gruyter, Berlin/New York, 1993, pp. 108–119.
1993 | Book (Editor) | LibreCat-ID: 17477
Parallel Architectures and Their Efficient Use
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
LibreCat
| DOI
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.