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).