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
G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, vol. 1764. Berlin/Heidelberg: Springer, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8110
M. Salhi, C. Triebel, R. Lemoine, S. Krauter, S. Schroer, and R. G. Araújo:, “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., 1998.
LibreCat
 

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

1998 | Conference Paper | LibreCat-ID: 8280
S. Kolmschlag and G. Engels, “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), 1998, pp. 13–24.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8285
H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “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), 1998, no. tr-ri-98-201, pp. 122–131.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7845
A. Cherchago, “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), 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 879
H. Karl, M. Werner, and L. Kuttner, “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, 1998, pp. 10468--10475.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8906
T. Hemsel and J. Wallaschek, “A piezoelectric linear vibration drive for high driving forces,” in Proceedings of VIBROENGINEERING, 1998, no. 1, pp. 7–12.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18213
V. Peckhaus, “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]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18220
V. Peckhaus, “Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.01042]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18232
V. Peckhaus, “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]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18244
V. Peckhaus, “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]. 1998.
LibreCat
 

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

1998 | Book Review | LibreCat-ID: 18251
V. Peckhaus, “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]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18275
V. Peckhaus, “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]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18270
V. Peckhaus, “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]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18302
V. Peckhaus, “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]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18299
V. Peckhaus, “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]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18294
V. Peckhaus, “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]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18307
V. Peckhaus, “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]. 1998.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed