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.

12866 Publications


1997 | Conference Paper | LibreCat-ID: 8279
R. Heckel, “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 16535
M. Dellnitz and O. Junge, “Almost Invariant Sets in Chua’s Circuit,” International Journal of Bifurcation and Chaos, pp. 2475–2485, 1997.
LibreCat | DOI
 

1997 | Book Review | LibreCat-ID: 17780
V. Peckhaus, “Witold Marciszewski/Roman Murawski. Mechanization of Reasoning in a Historical Perspective. Amsterdam/Atlanta, GA: Rodopi 1995. (Poznań Studies in the Philosophy of the Sciences and the Humanities; 43),” Modern Logic, vol. 7, no. 3/4 (Juli/Oktober 1997). pp. 402–409, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 17494
V. Peckhaus, “The Way of Logic into Mathematics,” Theoria. Segunda Época (Seccion monografica Sobre la historia de la lógica matemática, hg. v. Luis Vega Reñon), vol. 12, no. 1, pp. 39–64, 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18202
V. Peckhaus, “Frege, Gottlob; Gabriel, Gottfried (ed.), „Vorlesungen über Begriffsschrift“, History and Philosophy of Logic 17, No. 1 (1996), iii–xvi, 1–48,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 860.01036]. 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18199
V. Peckhaus, “Gödel, Kurt, Unpublished Philosophical Essays, hg. v. Francisco A. Rodríguez-Consuegra, Birkhäuser: Basel 1995,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 854.01046]. 1997.
LibreCat
 

1997 | Encyclopedia Article | LibreCat-ID: 19483
N. O. Eke, “DDR-Literatur,” in Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, H. Brunner and R. Moritz, Eds. Berlin, 1997, pp. 64–68.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 2175
S. Bock, F. Meyer auf der Heide, and C. Scheideler, “Optimal Wormhole Routing in the (n, d)-Torus,” in IPPS, 1997, pp. 326--332.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 11853
D. Langmann and R. Haeb-Umbach, “FRESCO: The French Telephone Speech Data Collection - Part of the European SpeechDat(M) Project,” in ICSLP, Philadelphia, 1996.
LibreCat | Download (ext.)
 

1996 | Misc | LibreCat-ID: 13087
S. Hellebrand and H.-J. Wunderlich, Using Embedded Processors for BIST. 3rd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1996.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed