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: /record/13064

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: /record/13007
DOI: 10.1109/vtest.1998.670883

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: /record/13008
DOI: 10.1109/date.1998.655853

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: /record/13063

Cellucci, Carlo, cMathematical Logic: What has it Done for the Philosophy of Mathematics?d, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3653388
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18231

Delzell, Charles N., cKreisel9s Unwinding of Artin9s Proofd, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 1133246
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18213

Howard, William A., cSome Proof Theory in the 19609sd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 2753288
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18244

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: /record/18223

Burdman Feferman, Anita, cKreisel on the Telephone: An Appreciationd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43349
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18274

Barendregt, Henk, cKreisel, Lambda Calculus, a Windmill and a Castled, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3314
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18272

Feferman, Solomon, cKreisel9s 8Unwindin Programd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 2473273
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18270

Barwise, Jon, cThe Right Things for the Right Reasonsd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15323
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18273

Crick, Francis, cGeorg Kreisel: A Few Personal Recollectionsd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25332
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18275

Crossley, John N., cKreisel9s Effectivenessd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33341
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18292

Dyson, Freeman, cAddendum: 8Thoughts on the Occasion of Georg Kreisel9s 70th Birthdad, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 75
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18293

Jockusch, Carl G. jun., cA Letter from Professor Kreiseld, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77378
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18294

Morley, Michael, cTwo Insightsd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79380
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18295

eTextuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlobc
M. Egidi, GRM, N.F. 48  (1998) 405–433.
LibreCat: /record/31516

Platek, Richard A., cKreisel, Generalized Recursion Theory, Stanford and Med, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 973102
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18299

Sacks, Gerald E., cKreisel, Generalized Recursion Theory and Id, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 1033108
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18298