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.

72 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
 

1993 | Report | LibreCat-ID: 2453
Benutzung virtueller Topologien unter PARIX
J. Simon, Benutzung Virtueller Topologien Unter PARIX, Paderborn Center for Parallel Computing, 1993.
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

Filters and Search Terms

year=1993

Search

Filter Publications

Display / Sort

Export / Embed