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
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
 

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
 

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
 

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