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

1998 | Conference Paper | LibreCat-ID: 8110
Hybrid Thermal Insulating PV Facade Elements
M. Salhi, C. Triebel, R. Lemoine, S. Krauter, S. Schroer, R.G. Araújo:, 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
Thermisch aktive PV-Module zur Fassadenintegration
S. Krauter, S. Schroer, R.G. Araújo, R. Stephan, in: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375, 1998.
LibreCat
 

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

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

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

1998 | Conference Paper | LibreCat-ID: 879
An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults
H. Karl, M. Werner, L. Kuttner, 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
A piezoelectric linear vibration drive for high driving forces
T. Hemsel, J. Wallaschek, in: Proceedings of VIBROENGINEERING, 1998, pp. 7–12.
LibreCat
 

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

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

1998 | Book Review | LibreCat-ID: 18232 LibreCat
 

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

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

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

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

1998 | Book Review | LibreCat-ID: 18302 LibreCat
 

1998 | Book Review | LibreCat-ID: 18299 LibreCat
 

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

1998 | Book Review | LibreCat-ID: 18307
Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 389–415
V. Peckhaus, 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: Default

Export / Embed