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.

18383 Publications


1998 | Conference Paper | LibreCat-ID: 8285
@inproceedings{Ehrig_Engels_Heckel_Taentzer_1998, title={Classification and Comparison of Modularity Concepts for Graph Transformation Systems}, number={tr-ri-98-201}, booktitle={Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)}, publisher={University of Paderborn}, author={Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele}, year={1998}, pages={122–131} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7845
@inproceedings{Cherchago_1998, title={A generalized schema of a decision-making process of a SCENAR-therapeutist}, booktitle={Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)}, author={Cherchago, Alexey}, year={1998} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 879
@inproceedings{Karl_Werner_Kuttner_1998, title={An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults}, DOI={10.1109/EURMIC.1998.711841}, booktitle={24th EUROMICRO ’98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden}, author={Karl, Holger and Werner, Matthias and Kuttner, Lars}, year={1998}, pages={10468--10475} }
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8906
@inproceedings{Hemsel_Wallaschek_1998, title={A piezoelectric linear vibration drive for high driving forces}, number={1}, booktitle={Proceedings of VIBROENGINEERING}, author={Hemsel, Tobias and Wallaschek, Jörg}, year={1998}, pages={7–12} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18213
@article{Peckhaus_1998, title={Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 113–246}, number={Zbl. 876.12002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 876.12002]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18220
@article{Peckhaus_1998, title={Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997}, number={Zbl. 877.01042}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.01042]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18232
@article{Peckhaus_1998, title={Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270}, number={Zbl. 877.03011}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.03011]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18244
@article{Peckhaus_1998, title={Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 275–288}, number={Zbl. 881.01013}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 881.01013]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18237
@article{Peckhaus_1998, title={Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [9.4], 69–76}, number={Zbl. 878.03004}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 878.03004]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18251
@article{Peckhaus_1998, title={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}, number={Zbl. 884.03003}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 884.03003]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18275
@article{Peckhaus_1998, title={Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 25–32}, number={Zbl. 894.01010}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01010]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18270
@article{Peckhaus_1998, title={Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273}, number={Zbl. 889.03045}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 889.03045]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18302
@article{Peckhaus_1998, title={Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273}, number={Zbl. 896.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03005]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18299
@article{Peckhaus_1998, title={Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 97–102}, number={Zbl. 895.01008}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01008]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18294
@article{Peckhaus_1998, title={Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 77–78}, number={Zbl. 894.01013}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01013]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18307
@article{Peckhaus_1998, title={Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 389–415}, number={Zbl. 897.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 897.03005]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 17412
@inbook{Fischer_Lukovszki_Ziegler_1998, place={Berlin, Heidelberg}, title={Geometric Searching in Walkthrough Animations with Weak Spanners in Real Time}, DOI={10.1007/3-540-68530-8_14}, booktitle={Algorithms — ESA’ 98}, author={Fischer, Matthias and Lukovszki, Tamás and Ziegler, Martin}, year={1998} }
LibreCat | Files available | DOI
 

1998 | Journal Article | LibreCat-ID: 18624
@article{Pollehn_Schindlmayr_Godby_1998, title={Assessment of the GW approximation using Hubbard chains}, volume={10}, DOI={10.1088/0953-8984/10/6/011}, number={6}, journal={Journal of Physics: Condensed Matter}, publisher={IOP Publishing}, author={Pollehn, Thomas Joachim and Schindlmayr, Arno and Godby, Rex William}, year={1998}, pages={1273–1283} }
LibreCat | Files available | DOI | WoS
 

1998 | Report | LibreCat-ID: 19735
@book{Bonorden_Rieping_von Otte_Juurlink_1998, title={The Paderborn University BSP (PUB) Library - Design, Implementation and Performance}, author={Bonorden, Olaf and Rieping, Ingo and von Otte, Ingo and Juurlink, Bernhardus}, year={1998} }
LibreCat | Files available
 

1998 | Journal Article | LibreCat-ID: 16503
@article{Meyer auf der Heide_Schröder_Schwarze_1998, title={Routing on networks of optical crossbars}, volume={196}, DOI={10.1016/s0304-3975(97)86791-6}, journal={Theoretical Computer Science}, author={Meyer auf der Heide, Friedhelm and Schröder, Klaus and Schwarze, Frank}, year={1998}, pages={181–200} }
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed