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.
309 Publications
1998 | Journal Article | LibreCat-ID: 13064
Hellebrand, Sybille, et al. “Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications.” IEEE Design and Test, vol. 15, no. 4, IEEE, 1998, pp. 36–41.
LibreCat
1998 | Conference Paper | LibreCat-ID: 13007
Hertwig, Andre, et al. “Fast Self-Recovering Controllers.” 16th IEEE VLSI Test Symposium (VTS’98), IEEE, 1998, pp. 296–302, doi:10.1109/vtest.1998.670883.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13008
Hellebrand, Sybille, et al. “Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs.” Design Automation and Test in Europe (DATE’98), 1998, pp. 173–79, doi:10.1109/date.1998.655853.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13063
N. Yarmolik, Vyacheslav, et al. “New Transparent RAM BIST Based on Self-Adjusting Output Data Compression.” Design & Diagnostics of Electronic Circuits & Systems (DDECS’98), 1998, pp. 27–33.
LibreCat
1998 | Book Review | LibreCat-ID: 18231
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0877.03007, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18213
Peckhaus, Volker. “Delzell, Charles N., ‘Kreisel’s Unwinding of Artin’s Proof’, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 113–246.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0876.12002, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18244
Peckhaus, Volker. “Howard, William A., ‘Some Proof Theory in the 1960’s’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 275–288.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0881.01013, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18223
Peckhaus, Volker. “Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996 [Zbl. 0894.03002].” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0894.03002, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18274
Peckhaus, Volker. “Burdman Feferman, Anita, ‘Kreisel on the Telephone: An Appreciation’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01009, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18272
Peckhaus, Volker. “Barendregt, Henk, ‘Kreisel, Lambda Calculus, a Windmill and a Castle’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01007, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18270
Peckhaus, Volker. “Feferman, Solomon, ‘Kreisel’s “Unwinding” Program’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 889.03045, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18273
Peckhaus, Volker. “Barwise, Jon, ‘The Right Things for the Right Reasons’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01008, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18275
Peckhaus, Volker. “Crick, Francis, ‘Georg Kreisel: A Few Personal Recollections’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01010, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18292
Peckhaus, Volker. “Crossley, John N., ‘Kreisel’s Effectiveness’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01011, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18293
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01012, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18294
Peckhaus, Volker. “Jockusch, Carl G. jun., ‘A Letter from Professor Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01013, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18295
Peckhaus, Volker. “Morley, Michael, ‘Two Insights’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01014, 1998.
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 31516
Egidi, Margreth. “„Textuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlob“.” GRM, N.F. 48 , 1998, pp. 405–33.
LibreCat
1998 | Book Review | LibreCat-ID: 18299
Peckhaus, Volker. “Platek, Richard A., ‘Kreisel, Generalized Recursion Theory, Stanford and Me’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 895.01008, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18298
Peckhaus, Volker. “Sacks, Gerald E., ‘Kreisel, Generalized Recursion Theory and I’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 895.01007, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18297
Peckhaus, Volker. “Nerode, Anil, ‘An Appreciation of Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 895.01006, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18296
Peckhaus, Volker. “Takeuti, Gaisi, ‘Kreisel and I’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 894.01015, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18308
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete, Zbl. 897.03006, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18301
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 895.01011, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18304
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 896.03012, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18302
Peckhaus, Volker. “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 896.03005, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18309
Peckhaus, Volker. “Mints, Gregory, ‘Normal Forms for Sequent Derivations’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 897.03053, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18303
Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 896.03007, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18300
Peckhaus, Volker. “Parikh, Rohit, ‘Some Reminiscences of Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 895.01010, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18307
Peckhaus, Volker. “Odifreddi, Piergiorgio, ‘Kreisel’s Church’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 897.03005, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18219
Peckhaus, Volker. “Deakin, Michael A.B., ‘Boole’s Mathematical Blindness’, Math. Gaz. 80 (1996), 511–518.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete , Zbl. 0877.01019, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18222
Peckhaus, Volker. “Russell, Bertrand, ‘Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater’, Reprint der Ausgabe von 1919, Routledge: London/New York 1993.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0877.03001; Erstdruck mit falscher bibliographischer Angabe Zbl. 865.03001, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18232
Peckhaus, Volker. “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. 0877.03011, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18241
Peckhaus, Volker. “Lorenz, Stefan, "De mundo optimo: Studien zu Leibniz’ Theodizee und ihrer Rezeption in Deutschland (1710–1791)", Franz Steiner Verlag: Stuttgart 1997.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0879.01015, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18242
Peckhaus, Volker. “Hovens, Frans, ‘Lotze and Frege: The Dating of the “Kernsätze”’, In: History and Philosophy of Logic 18 (1997), 17–31.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0880.01005, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18220
Peckhaus, Volker. “Whitehead, Alfred North/Russell, Bertrand, ‘Principia Mathematica to *56’, Cambridge University Press: Cambridge 1997.” Zentralblatt für Mathematik und ihre Grenzgebiete, Zbl. 0877.01042, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18234
Peckhaus, Volker. “McGinn, Marie, ‘Wittgenstein and the Philosophical Investigations’, Routledge: London 1997.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0878.03002, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18248
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0884.01017, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18245
Peckhaus, Volker. “Schulz, Klaus-Dieter, ‘Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie’, Peter Lang: Frankfurt a.M. u.a. 1997.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0881.03002, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18251
Peckhaus, Volker. “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: 18253
Peckhaus, Volker. “Christidis, Theodor, ‘Philosophical and Mathematical Premises to the Development of Mechanics of Lagrange’ In: Nonlinear Analysis, Theory, Methods & Applications 30, No. 4 (1997), 2107–2112.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 885.01009, 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18247
Peckhaus, Volker. “Landini, Gregory, ‘Logic in Russell’s Principles of Mathematics’, In: Notre Dame Journal of Formal Logic 37, Nr. 4 (1996), 554–584.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0883.03001, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18252
Peckhaus, Volker. “Janich, Peter, ‘Euclid’s Heritage: Is Space Three-dimensional?’, Dordrecht: Kluwer Academic Publishers 1992 (= The University of Western Ontario Series in Philosophy; 52).” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 885.00011, 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18271
Peckhaus, Volker. “Rodych, Victor, ‘Wittgenstein on Mathematical Meaningfulness, Decidability, and Application’ In: Notre Dame Journal of Formal Logic 38 (1997), Nr. 2, 195–224.” Zentralblatt für Mathematik und ihre Grenzgebiete [, Zbl. 891.00007, 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18246
Peckhaus, Volker. “Cobos, J., ‘A Mathematician out of his Time: Ventura Reyes Prosper’, In: Extr. Math. 11, Nr. 2 (1996), 306–314.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 0883.01027, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18305
Peckhaus, Volker. “Berning, Matthias, ‘ Analysis und Determination. Eine Studie zur Erkenntnistheorie der Mathematik bei Descartes’, Hartung-Gorre Verlag: Konstanz 1997.” Zentralblatt für Mathematik und ihre Grenzgebiete, Zbl. 897.00003, 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18310
Peckhaus, Volker. “Ihmig, Karl-Norbert, „Hilberts axiomatische Methode und der Fortschritt in den Naturwissenschaften. Zu Cassirers Wissenschaftsphilosophie“, in: Rudolph, Enno/Stamatescu, Ion O. (eds.), Von der Philosophie zur Wissenschaft: Cassirers Dialog mit der Naturwissenschaft, Meiner: Hamburg 1997, 63–91.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 899.00009, 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18306
Peckhaus, Volker. “Gabriel, Gottfried/Kienzler, Wolfgang (eds.), ‘Frege in Jena. Beiträge zur Spurensicherung. Tagungsbericht, Jena, Deutschland, 6.–7. Dezember 1996’, Königshausen & Neumann: Würzburg 1997.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 897.01002, 1998.
LibreCat
1998 | Book | LibreCat-ID: 29080
Scharlau, Ingrid. Erkenntnistheorie als Wissenschaft: Streitpunkte zwischen Husserl, Gurwitsch, Merleau-Ponty und Piaget. Fink, 1998.
LibreCat
1998 | Book Chapter | LibreCat-ID: 32496
Hofer, Manfred, and Heike M. Buhl. “Experiments with the Role-Playing Method in the Study of Interactive Behavior.” Verbal Interaction and Development in Families with Adolescents, edited by Manfred Hofer et al., Ablex, 1998, pp. 31–48.
LibreCat