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, S., Hertwig, A., & Wunderlich, H.-J. (1998). Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications. IEEE Design and Test, 15(4), 36–41.
LibreCat
1998 | Conference Paper | LibreCat-ID: 13007
Hertwig, A., Hellebrand, S., & Wunderlich, H.-J. (1998). Fast Self-Recovering Controllers. 16th IEEE VLSI Test Symposium (VTS’98), 296–302. https://doi.org/10.1109/vtest.1998.670883
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13008
Hellebrand, S., Wunderlich, H.-J., & N. Yarmolik, V. (1998). Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs. Design Automation and Test in Europe (DATE’98), 173–179. https://doi.org/10.1109/date.1998.655853
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13063
N. Yarmolik, V., V. Klimets, Y., Hellebrand, S., & Wunderlich, H.-J. (1998). New Transparent RAM BIST Based on Self-Adjusting Output Data Compression. Design & Diagnostics of Electronic Circuits & Systems (DDECS’98), 27–33.
LibreCat
1998 | Book Review | LibreCat-ID: 18231
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.03007).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18213
Peckhaus, V. (1998). Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 113–246. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0876.12002).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18244
Peckhaus, V. (1998). Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 275–288. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0881.01013).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18223
Peckhaus, V. (1998). Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996 [Zbl. 0894.03002]. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0894.03002).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18274
Peckhaus, V. (1998). Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01009).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18272
Peckhaus, V. (1998). Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01007).
LibreCat
| Files available