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
 

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
 

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
 

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
 

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
 

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
 

1997 | Book Review | LibreCat-ID: 18197 LibreCat
 
 

1997 | Book Review | LibreCat-ID: 18205 LibreCat
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed