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: 13064
Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications
S. Hellebrand, A. Hertwig, H.-J. Wunderlich, IEEE Design and Test 15 (1998) 36–41.
LibreCat
S. Hellebrand, A. Hertwig, H.-J. Wunderlich, IEEE Design and Test 15 (1998) 36–41.
1998 | Conference Paper | LibreCat-ID: 13007
Fast Self-Recovering Controllers
A. Hertwig, S. Hellebrand, H.-J. Wunderlich, in: 16th IEEE VLSI Test Symposium (VTS’98), IEEE, Monterey, CA, USA, 1998, pp. 296–302.
LibreCat
| DOI
A. Hertwig, S. Hellebrand, H.-J. Wunderlich, in: 16th IEEE VLSI Test Symposium (VTS’98), IEEE, Monterey, CA, USA, 1998, pp. 296–302.
1998 | Conference Paper | LibreCat-ID: 13008
Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs
S. Hellebrand, H.-J. Wunderlich, V. N. Yarmolik, in: Design Automation and Test in Europe (DATE’98), Paris, France, 1998, pp. 173–179.
LibreCat
| DOI
S. Hellebrand, H.-J. Wunderlich, V. N. Yarmolik, in: Design Automation and Test in Europe (DATE’98), Paris, France, 1998, pp. 173–179.
1998 | Conference Paper | LibreCat-ID: 13063
New Transparent RAM BIST Based on Self-Adjusting Output Data Compression
V. N. Yarmolik, Y. V. Klimets, S. Hellebrand, H.-J. Wunderlich, in: Design & Diagnostics of Electronic Circuits & Systems (DDECS’98), Szczyrk, Poland, 1998, pp. 27–33.
LibreCat
V. N. Yarmolik, Y. V. Klimets, S. Hellebrand, H.-J. Wunderlich, in: Design & Diagnostics of Electronic Circuits & Systems (DDECS’98), Szczyrk, Poland, 1998, pp. 27–33.
1998 | Book Review | LibreCat-ID: 18231
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18213
Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 113–246
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18244
Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 275–288
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18223
Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996 [Zbl. 0894.03002]
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18274
Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18272
Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18270
Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18273
Barwise, Jon, “The Right Things for the Right Reasons”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18275
Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18292
Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18293
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18294
Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18295
Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Journal Article | LibreCat-ID: 31516
„Textuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlob“
M. Egidi, GRM, N.F. 48 (1998) 405–433.
LibreCat
M. Egidi, GRM, N.F. 48 (1998) 405–433.
1998 | Book Review | LibreCat-ID: 18299
Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18298
Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18297
Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18296
Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18308
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18301
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18304
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18302
Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18309
Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18303
McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18300
Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18307
Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18219
Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18222
Russell, Bertrand, "Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater", Reprint der Ausgabe von 1919, Routledge: London/New York 1993
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18232
Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18241
Lorenz, Stefan, "De mundo optimo: Studien zu Leibniz’ Theodizee und ihrer Rezeption in Deutschland (1710–1791)", Franz Steiner Verlag: Stuttgart 1997
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18242
Hovens, Frans, “Lotze and Frege: The Dating of the ‘Kernsätze’”, In: History and Philosophy of Logic 18 (1997), 17–31
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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 (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18234
McGinn, Marie, "Wittgenstein and the Philosophical Investigations", Routledge: London 1997
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18248
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18245
Schulz, Klaus-Dieter, "Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie", Peter Lang: Frankfurt a.M. u.a. 1997
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18251
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18253
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18247
Landini, Gregory, “Logic in Russell’s Principles of Mathematics”, In: Notre Dame Journal of Formal Logic 37, Nr. 4 (1996), 554–584
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18252
Janich, Peter, "Euclid’s Heritage: Is Space Three-dimensional?", Dordrecht: Kluwer Academic Publishers 1992 (= The University of Western Ontario Series in Philosophy; 52)
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18271
Rodych, Victor, “Wittgenstein on Mathematical Meaningfulness, Decidability, and Application” In: Notre Dame Journal of Formal Logic 38 (1997), Nr. 2, 195–224
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete [ (1998).
LibreCat
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete [ (1998).
1998 | Book Review | LibreCat-ID: 18246
Cobos, J., “A Mathematician out of his Time: Ventura Reyes Prosper”, In: Extr. Math. 11, Nr. 2 (1996), 306–314
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18305
Berning, Matthias, " Analysis und Determination. Eine Studie zur Erkenntnistheorie der Mathematik bei Descartes", Hartung-Gorre Verlag: Konstanz 1997
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18310
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18306
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book | LibreCat-ID: 29080
Erkenntnistheorie als Wissenschaft: Streitpunkte zwischen Husserl, Gurwitsch, Merleau-Ponty und Piaget
I. Scharlau, Erkenntnistheorie als Wissenschaft: Streitpunkte zwischen Husserl, Gurwitsch, Merleau-Ponty und Piaget, Fink, München, 1998.
LibreCat
I. Scharlau, Erkenntnistheorie als Wissenschaft: Streitpunkte zwischen Husserl, Gurwitsch, Merleau-Ponty und Piaget, Fink, München, 1998.
1998 | Book Chapter | LibreCat-ID: 32496
Experiments with the role-playing method in the study of interactive behavior
M. Hofer, H.M. Buhl, in: M. Hofer, J. Youniss, P. Noack (Eds.), Verbal Interaction and Development in Families with Adolescents, Ablex, Stamford, 1998, pp. 31–48.
LibreCat
M. Hofer, H.M. Buhl, in: M. Hofer, J. Youniss, P. Noack (Eds.), Verbal Interaction and Development in Families with Adolescents, Ablex, Stamford, 1998, pp. 31–48.