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
@article{Hellebrand_Hertwig_Wunderlich_1998, title={Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications}, volume={15}, number={4}, journal={IEEE Design and Test}, publisher={IEEE}, author={Hellebrand, Sybille and Hertwig, Andre and Wunderlich, Hans-Joachim}, year={1998}, pages={36–41} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 13007
@inproceedings{Hertwig_Hellebrand_Wunderlich_1998, place={Monterey, CA, USA}, title={Fast Self-Recovering Controllers}, DOI={10.1109/vtest.1998.670883}, booktitle={16th IEEE VLSI Test Symposium (VTS’98)}, publisher={IEEE}, author={Hertwig, Andre and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1998}, pages={296–302} }
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13008
@inproceedings{Hellebrand_Wunderlich_N. Yarmolik_1998, place={Paris, France}, title={Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs}, DOI={10.1109/date.1998.655853}, booktitle={Design Automation and Test in Europe (DATE’98)}, author={Hellebrand, Sybille and Wunderlich, Hans-Joachim and N. Yarmolik, Vyacheslav}, year={1998}, pages={173–179} }
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13063
@inproceedings{N. Yarmolik_V. Klimets_Hellebrand_Wunderlich_1998, place={Szczyrk, Poland}, title={New Transparent RAM BIST Based on Self-Adjusting Output Data Compression}, booktitle={Design & Diagnostics of Electronic Circuits & Systems (DDECS’98)}, author={N. Yarmolik, Vyacheslav and V. Klimets, Yuri and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1998}, pages={27–33} }
LibreCat
1998 | Book Review | LibreCat-ID: 18231
@article{Peckhaus_1998, title={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}, number={Zbl. 0877.03007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18213
@article{Peckhaus_1998, title={Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 113–246}, number={Zbl. 0876.12002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18244
@article{Peckhaus_1998, title={Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 275–288}, number={Zbl. 0881.01013}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18223
@article{Peckhaus_1998, title={Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996 [Zbl. 0894.03002]}, number={Zbl. 0894.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18274
@article{Peckhaus_1998, title={Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49}, number={Zbl. 894.01009}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18272
@article{Peckhaus_1998, title={Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14}, number={Zbl. 894.01007}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete }, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Files available