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
Hellebrand, Sybille, Andre Hertwig, and Hans-Joachim Wunderlich. “Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications.” IEEE Design and Test 15, no. 4 (1998): 36–41.
LibreCat
1998 | Conference Paper | LibreCat-ID: 13007
Hertwig, Andre, Sybille Hellebrand, and Hans-Joachim Wunderlich. “Fast Self-Recovering Controllers.” In 16th IEEE VLSI Test Symposium (VTS’98), 296–302. Monterey, CA, USA: IEEE, 1998. https://doi.org/10.1109/vtest.1998.670883.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13008
Hellebrand, Sybille, Hans-Joachim Wunderlich, and Vyacheslav N. Yarmolik. “Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs.” In Design Automation and Test in Europe (DATE’98), 173–79. Paris, France, 1998. https://doi.org/10.1109/date.1998.655853.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13063
N. Yarmolik, Vyacheslav, Yuri V. Klimets, Sybille Hellebrand, and Hans-Joachim Wunderlich. “New Transparent RAM BIST Based on Self-Adjusting Output Data Compression.” In Design & Diagnostics of Electronic Circuits & Systems (DDECS’98), 27–33. Szczyrk, Poland, 1998.
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 , 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 , 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 , 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 , 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 , 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 , 1998.
LibreCat
| Files available