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.
308 Publications
1998 | Journal Article | LibreCat-ID: 34578
@article{Müller_Sturm_1998, title={Visuelle Spezifikations- und Modellierungstechniken}, DOI={10.1524/itit.1998.40.3.32}, journal={it - Information Technology}, publisher={Oldenbourg Verlag}, author={Müller, Wolfgang and Sturm, Jörgen}, year={1998}, pages={32–36} }
LibreCat
| DOI
1998 | Book (Editor) | LibreCat-ID: 12849
@book{Hagengruber_1998, place={Rheinland-Pfalz}, title={Wissen und Handeln: Ein Lehrbuch zur Geschichte der Ethik für den Gymnasialunterricht unter Berücksichtigung der Schriften von Philosophinnen}, year={1998} }
LibreCat
1998 | Book Review | LibreCat-ID: 34769 | 
@article{Süßmann_1998, title={[Rez. v.] Francis Haskell. Die Geschichte und ihre Bilder. Die Kunst und die Deutung der Vergangenheit. Aus dem Englischen übersetzt von Michael Bischoff. Verlag C.H. Beck, München 1995}, volume={38}, journal={Archiv für Sozialgeschichte}, author={Süßmann, Johannes}, year={1998}, pages={679–682} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18237
@article{Peckhaus_1998, title={Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 69–76}, number={Zbl. 0878.03004}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18212
@article{Peckhaus_1998, title={Spalt, Detlef D., „Exaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundert“, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 45–59}, number={Zbl. 0876.00012}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18233
@article{Peckhaus_1998, title={Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 173–184}, number={Zbl. 0878.00006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18230
@article{Peckhaus_1998, title={Cellucci, Carlo, “From Closed to Open Systems”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 206–220}, number={Zbl. 0877.03006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18239
@article{Peckhaus_1998, title={Maddy, Penelope, “Wittgenstein’s Anti-Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 52–72}, number={Zbl. 0878.03006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18238
@article{Peckhaus_1998, title={Wang, Hao, “What is Logic?”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 11–23}, number={Zbl. 0878.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18228
@article{Peckhaus_1998, title={Brosch, Anette, “TLP 4.0312”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 167–172}, number={Zbl. 0877.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 13064
@article{Hellebrand_Hertwig_Wunderlich_1998, title={Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications}, volume={15}, number={4}, journal={IEEE Design and Test}, publisher={IEEE}, author={Hellebrand, Sybille and Hertwig, Andre and Wunderlich, Hans-Joachim}, year={1998}, pages={36–41} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 13007
@inproceedings{Hertwig_Hellebrand_Wunderlich_1998, place={Monterey, CA, USA}, title={Fast Self-Recovering Controllers}, DOI={10.1109/vtest.1998.670883}, booktitle={16th IEEE VLSI Test Symposium (VTS’98)}, publisher={IEEE}, author={Hertwig, Andre and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1998}, pages={296–302} }
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13008
@inproceedings{Hellebrand_Wunderlich_N. Yarmolik_1998, place={Paris, France}, title={Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs}, DOI={10.1109/date.1998.655853}, booktitle={Design Automation and Test in Europe (DATE’98)}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim and N. Yarmolik, Vyacheslav}, year={1998}, pages={173–179} }
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13063
@inproceedings{N. Yarmolik_V. Klimets_Hellebrand_Wunderlich_1998, place={Szczyrk, Poland}, title={New Transparent RAM BIST Based on Self-Adjusting Output Data Compression}, booktitle={Design & Diagnostics of Electronic Circuits & Systems (DDECS’98)}, author={N. Yarmolik, Vyacheslav and V. Klimets, Yuri and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1998}, pages={27–33} }
LibreCat
1998 | Book Review | LibreCat-ID: 18231
@article{Peckhaus_1998, title={Cellucci, Carlo, “Mathematical Logic: What has it Done for the Philosophy of Mathematics?”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 365–388}, number={Zbl. 0877.03007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
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 [Zbl 0894.03002], 113–246}, number={Zbl. 0876.12002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
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 [Zbl 0894.03002], 275–288}, number={Zbl. 0881.01013}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18223
@article{Peckhaus_1998, title={Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996 [Zbl. 0894.03002]}, number={Zbl. 0894.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18274
@article{Peckhaus_1998, title={Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49}, number={Zbl. 894.01009}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18272
@article{Peckhaus_1998, title={Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14}, number={Zbl. 894.01007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18270
@article{Peckhaus_1998, title={Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273}, number={Zbl. 889.03045}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18273
@article{Peckhaus_1998, title={Barwise, Jon, “The Right Things for the Right Reasons”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23}, number={Zbl. 894.01008}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
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 [Zbl 0894.03002], 25–32}, number={Zbl. 894.01010}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18292
@article{Peckhaus_1998, title={Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41}, number={Zbl. 894.01011}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18293
@article{Peckhaus_1998, title={Dyson, Freeman, “Addendum: ‘Thoughts on the Occasion of Georg Kreisel’s 70th Birthday’”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 75}, number={Zbl. 894.01012}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
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 [Zbl 0894.03002], 77–78}, number={Zbl. 894.01013}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18295
@article{Peckhaus_1998, title={Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80}, number={Zbl. 894.01014}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 31516
@article{Egidi_1998, title={„Textuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlob“}, journal={GRM, N.F. 48 }, author={Egidi, Margreth}, year={1998}, pages={405–433} }
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 [Zbl 0894.03002], 97–102}, number={Zbl. 895.01008}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18298
@article{Peckhaus_1998, title={Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108}, number={Zbl. 895.01007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18297
@article{Peckhaus_1998, title={Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88}, number={Zbl. 895.01006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18296
@article{Peckhaus_1998, title={Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109}, number={Zbl. 894.01015}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18308
@article{Peckhaus_1998, title={Weingartner, Paul, “Some Critical Remarks on Definitions and on Philosophical and Logical Ideals”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 417–438}, number={Zbl. 897.03006}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18301
@article{Peckhaus_1998, title={Huber-Dyson, Verena, “Toughts on the Occasion of Georg Kreisel’s 70th Birth-day”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 51–73}, number={Zbl. 895.01011}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18304
@article{Peckhaus_1998, title={Macintyre, Angus/Wilkie, A.J., “On the Decidability of the Real Exponential Field”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 441–467}, number={Zbl. 896.03012}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
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 [Zbl 0894.03002], 247–273}, number={Zbl. 896.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18309
@article{Peckhaus_1998, title={Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492}, number={Zbl. 897.03053}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18303
@article{Peckhaus_1998, title={McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334}, number={Zbl. 896.03007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18300
@article{Peckhaus_1998, title={Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96}, number={Zbl. 895.01010}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18307
@article{Peckhaus_1998, title={Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415}, number={Zbl. 897.03005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18219
@article{Peckhaus_1998, title={Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518}, number={Zbl. 0877.01019}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18222
@article{Peckhaus_1998, title={Russell, Bertrand, “Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater”, Reprint der Ausgabe von 1919, Routledge: London/New York 1993}, number={Zbl. 0877.03001; Erstdruck mit falscher bibliographischer Angabe Zbl. 865.03001}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
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. 0877.03011}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18241
@article{Peckhaus_1998, title={Lorenz, Stefan, "De mundo optimo: Studien zu Leibniz’ Theodizee und ihrer Rezeption in Deutschland (1710–1791)", Franz Steiner Verlag: Stuttgart 1997}, number={Zbl. 0879.01015}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18242
@article{Peckhaus_1998, title={Hovens, Frans, “Lotze and Frege: The Dating of the ‘Kernsätze’”, In: History and Philosophy of Logic 18 (1997), 17–31}, number={Zbl. 0880.01005}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
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. 0877.01042}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18234
@article{Peckhaus_1998, title={McGinn, Marie, “Wittgenstein and the Philosophical Investigations”, Routledge: London 1997}, number={Zbl. 0878.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18248
@article{Peckhaus_1998, title={Beller, Walter, “Logic in Mexico”, In: Santiago Ramirez (ed.), Mexican Studies in the History and Philosophy of Science, Kluwer: Dordrecht 1995 (= Boston Stud. Philos. Sci.; 172), 1–22}, number={Zbl. 0884.01017}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18245
@article{Peckhaus_1998, title={Schulz, Klaus-Dieter, “Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie”, Peter Lang: Frankfurt a.M. u.a. 1997}, number={Zbl. 0881.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
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}, author={Peckhaus, Volker}, year={1998} }
LibreCat