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.
310 Publications
1998 | Conference Paper | LibreCat-ID: 13007
Hertwig A, Hellebrand S, Wunderlich H-J. Fast Self-Recovering Controllers. In: 16th IEEE VLSI Test Symposium (VTS’98). IEEE; 1998:296-302. doi:10.1109/vtest.1998.670883
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13008
Hellebrand S, Wunderlich H-J, N. Yarmolik V. Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs. In: Design Automation and Test in Europe (DATE’98). ; 1998:173-179. doi:10.1109/date.1998.655853
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13063
N. Yarmolik V, V. Klimets Y, Hellebrand S, Wunderlich H-J. New Transparent RAM BIST Based on Self-Adjusting Output Data Compression. In: Design & Diagnostics of Electronic Circuits & Systems (DDECS’98). ; 1998:27-33.
LibreCat
1998 | Book Review | LibreCat-ID: 18231
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18213
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18244
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18223
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18274
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18272
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18270
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18273
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18275
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18292
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18293
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18294
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18295
Peckhaus V. Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 31516
Egidi M. „Textuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlob“. GRM, NF 48 . Published online 1998:405-433.
LibreCat
1998 | Book Review | LibreCat-ID: 18299
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18298
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18297
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available