en
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.
13313 Publications
1997 | Conference Paper | LibreCat-ID: 8277
Combining Graph Transformations with Temporal Logic
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
LibreCat
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
1997 | Conference Paper | LibreCat-ID: 8900
Ultrasonic motors for linear positioning tasks in automobiles
T. Hemsel, J. Wallaschek, in: Proceedings of the 30th International Symposium on Automotive Technology \& Automation (ISATA), Florenz, Italien, 1997, pp. 631–637.
LibreCat
T. Hemsel, J. Wallaschek, in: Proceedings of the 30th International Symposium on Automotive Technology \& Automation (ISATA), Florenz, Italien, 1997, pp. 631–637.
1997 | Conference Paper | LibreCat-ID: 16893
Demo eines Intelligenten Diagramm Assistenten (IDIAS)
S. Thies, B. Gutkauf, G. Domik-Kienegger, in: Proceedings 5. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, 1997.
LibreCat
S. Thies, B. Gutkauf, G. Domik-Kienegger, in: Proceedings 5. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, 1997.
1997 | Journal Article | LibreCat-ID: 16552
Exploring invariant sets and invariant measures
M. Dellnitz, A. Hohmann, O. Junge, M. Rumpf, Chaos: An Interdisciplinary Journal of Nonlinear Science (1997) 221–228.
LibreCat
| DOI
M. Dellnitz, A. Hohmann, O. Junge, M. Rumpf, Chaos: An Interdisciplinary Journal of Nonlinear Science (1997) 221–228.
1997 | Journal Article | LibreCat-ID: 16564
A lower bound for randomized algebraic decision trees
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, Computational Complexity (1997) 357–375.
LibreCat
| DOI
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, Computational Complexity (1997) 357–375.
1997 | Book | LibreCat-ID: 17447
Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
LibreCat
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
1997 | Book Review | LibreCat-ID: 18197
Sneed, Joseph D., “Structuralism and Scientific Discovery”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 379–402
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 852.00009] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 852.00009] (1997).
1997 | Book Review | LibreCat-ID: 18200
Hon, Giora, “Completeness has to be Restricted”, in: Petr Hájek (ed.), Gödel '96. Logical Foundations of Mathematics, Computer Science and Physics — Kurt Gödel’s Legacy. Proceedings of a Conference, Brno, Czech Republic, August 1996, Springer-Verlag: Berlin 1996 (= Lect. Notes Log.; 6), 214–223
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 856.01020] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 856.01020] (1997).
1997 | Book Review | LibreCat-ID: 18205
Scheibe, Erhard, “The Role of Mathematics in Physical Sciences”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 141–155
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 871.00007] (1997).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 871.00007] (1997).
1997 | Journal Article | LibreCat-ID: 18628
Violation of particle number conservation in the GW approximation
A. Schindlmayr, Physical Review B 56 (1997) 3528–3531.
LibreCat
| Files available
| DOI
| WoS
A. Schindlmayr, Physical Review B 56 (1997) 3528–3531.