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.

16994 Publications


1998 | Conference (Editor) | LibreCat-ID: 7794
Engels, G., Ehrig, H., Kreowski, H.-J., & Rozenberg, G. (Eds.). (1998). 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers (Vol. 1764). Berlin/Heidelberg: Springer.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8110
Salhi, M., Triebel, C., Lemoine, R., Krauter, S., Schroer, S., & Araújo:, R. G. (1998). Hybrid Thermal Insulating PV Facade Elements. In Proceedings of the 2nd World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8115
Krauter, S., Schroer, S., Araújo, R. G., & Stephan, R. (1998). Thermisch aktive PV-Module zur Fassadenintegration. In Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8280
Kolmschlag, S., & Engels, G. (1998). Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. In Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany) (pp. 13–24). GI.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8285
Ehrig, H., Engels, G., Heckel, R., & Taentzer, G. (1998). Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany) (pp. 122–131). University of Paderborn.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7845
Cherchago, A. (1998). A generalized schema of a decision-making process of a SCENAR-therapeutist. In Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia).
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 879
Karl, H., Werner, M., & Kuttner, L. (1998). An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults. In 24th EUROMICRO ’98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden (pp. 10468--10475). https://doi.org/10.1109/EURMIC.1998.711841
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8906
Hemsel, T., & Wallaschek, J. (1998). A piezoelectric linear vibration drive for high driving forces. In Proceedings of VIBROENGINEERING (pp. 7–12).
LibreCat
 

1998 | Book Review | LibreCat-ID: 18213
Peckhaus, V. (1998). Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 113–246. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 876.12002].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18220
Peckhaus, V. (1998). Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.01042].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18232
Peckhaus, V. (1998). Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03011].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18244
Peckhaus, V. (1998). Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 275–288. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 881.01013].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18237
Peckhaus, V. (1998). Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [9.4], 69–76. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03004].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18251
Peckhaus, V. (1998). Buschlinger, Wolfgang, Wider das Verbot der semantischen Geschlossenheit der Sprache. Der Wert unliebsamer sprachlicher Strukturen für die Reduktion von Graphentheorie auf Logik, Peter Lang: Frankfurt a.M. 1997. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 884.03003].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18275
Peckhaus, V. (1998). Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 25–32. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01010].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18270
Peckhaus, V. (1998). Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03045].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18302
Peckhaus, V. (1998). Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03005].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18299
Peckhaus, V. (1998). Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 97–102. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01008].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18294
Peckhaus, V. (1998). Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 77–78. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01013].
LibreCat
 

1998 | Book Review | LibreCat-ID: 18307
Peckhaus, V. (1998). Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 389–415. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 897.03005].
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed