An adaptive subdivision technique for the approximation of attractors and invariant measures
M. Dellnitz, O. Junge, Computing and Visualization in Science (1998) 63–68.
LibreCat: /record/16536
DOI: 10.1007/s007910050006

Communication-efficient parallel multiway and approximate minimum cut computation
F. Meyer auf der Heide, G.T. Martinez, in: LATIN’98: Theoretical Informatics, Berlin, Heidelberg, 1998.
LibreCat: /record/16562
DOI: 10.1007/bfb0054332

Randomized protocols for low-congestion circuit routing in multistage interconnection networks
R. Cole, B.M. Maggs, F. Meyer auf der Heide, M. Mitzenmacher, A.W. Richa, K. Schröder, R.K. Sitaraman, B. Vöcking, in: Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing  - STOC ’98, 1998.
LibreCat: /record/16563
DOI: 10.1145/276698.276790

Teaching Spatial Orientation using Virtual Worlds
S. Vollbracht, G. Domik, D. Backe-Neuwald, H.-D. Rinkens, in: Proceedings of ED-MEDIA, 1998.
LibreCat: /record/16891

Integration of GIS and VRML
C. Lenz, J.D. Stüwe, G. Domik, in: 1998.
LibreCat: /record/16892

Europäisches Arbeitsrecht
D. Krimphove, in: A. Clermont, W. Schmeisser (Eds.), Betriebliche Personal- Und Sozialpolitik, Verlag Vahlen, München, 1998, pp. 43–62.
LibreCat: /record/1720

Der Einsatz der Ökonomischen Analyse des Rechts als notwendiges Instrument der Europäischen Rechtsvergleichung  
D. Krimphove, Zeitschrift Für Rechtsvergleichung -ZfRV (1998) 185–205.
LibreCat: /record/1721

Reconfigurable Computer Architectures
M. Platzner, E&;i Elektrotechnik Und Informationstechnik 115 (1998) 143–148.
LibreCat: /record/10607

Design and Implementation of a Parallel Constraint Satisfaction Algorithm
M. Platzner, B. Rinner, International Journal of Computers &; Their Applications 5 (1998) 106–116.
LibreCat: /record/10608

Automatic Transcription of English Broadcast News
P. Beyerlein, X.L. Aubert, R. Haeb-Umbach, D. Klakow, M. Ullrich, A. Wendemuth, P. Wilcox, in: DARPA Broadcast News Transcription and Understanding Workshop, Landsdowne, 1998.
LibreCat: /record/11730

Acoustic Modeling in the Philips Hub-4 Continuous-Speech Recognition System
R. Haeb-Umbach, X.L. Aubert, P. Beyerlein, D. Klakow, M. Ullrich, A. Wendemuth, P. Wilcox, in: DARPA Broadcast News Transcription and Understanding Workshop, Landsdowne, 1998.
LibreCat: /record/11784

Language-Model Investigations related to Broadcast News
D. Klakow, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, M. Ullrich, A. Wendemuth, P. Wilcox, in: DARPA Broadcast News Transcription and Understanding Workshop, Landsdowne, 1998.
LibreCat: /record/11842

A Study on Speaker Normalization Using Vocal Tract Normalization and Speaker Adaptive Training
L. Welling, R. Haeb-Umbach, X. Aubert, N. Haberland, in: ICASSP 1998, Seattle, 1998.
LibreCat: /record/11936

Test und Synthese schneller eingebetteter Systeme
S. Hellebrand, H.-J. Wunderlich, Test Und Synthese Schneller Eingebetteter Systeme, Universität Stuttgart, 1998.
LibreCat: /record/13029

Fuzzy sets and modelling of uncertainty in biological systems
E. Hüllermeier, C. Giersch, in: In Proceedings IPMU-98 7th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, Editions E.D.K., 1998, pp. 1857–1864.
LibreCat: /record/15288

A Bayesian approach to case-based probalistic reasoning
E. Hüllermeier, in: In Proceedings IPMU-98 7th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne, Editions E.D.K., 1998, pp. 1296–1303.
LibreCat: /record/15289

Numerical solutions for fuzzy initial value problems
E. Hüllermeier, in: P. Borne, M. Ksouri, A. El Kamel (Eds.), In Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia, 1998.
LibreCat: /record/15303

In-Line-Flüssigkeitsanalysator für verfahrenstechnische Prozesse
B. Henning, P.-C. Daur, S. Prange, K. Dierks, In-Line-Flüssigkeitsanalysator Für Verfahrenstechnische Prozesse, 1998.
LibreCat: /record/15390

Case-based probality and case-based decision making
E. Hüllermeier, in: L. Gierl, M. Lenz (Eds.), In Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany, 1998, pp. 13–22.
LibreCat: /record/15810

The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation.
S. Volbracht, G. Domik, D. Backe-Neuwald, H.-D. Rinkens, Journal of Universal Computer Science 4 (1998) 461–465.
LibreCat: /record/15070

An Example of Task Oriented Empirical Evaluations of 3D-Display Modes
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, Journal of Universal Computer Science 4 (1998) 534–546.
LibreCat: /record/15159

Visualization of meteorological data using an interactive flight
M. Koenig, C. Lenz, G. Domik, in: Proceedings. Computer Graphics International (Cat. No. 98), 1998, pp. 402–403.
LibreCat: /record/15271

Fuzzy dynamics of compartmental systems
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-98 6th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1998.
LibreCat: /record/15287

Efficient Consistency Checking for Embedded Memories
V. N. Yarmolik, S. Hellebrand, H.-J. Wunderlich, Efficient Consistency Checking for Embedded Memories, 5th IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1998.
LibreCat: /record/13091

Efficient Consistency Checking for Embedded Memories
V. N. Yarmolik, S. Hellebrand, H.-J. Wunderlich, Efficient Consistency Checking for Embedded Memories, 10th GI/ITG/GMM/IEEE Workshop, 1998.
LibreCat: /record/13092

A Distributed Computer Architecture for Fast Qualitative Simulation 
M. Platzner, B. Rinner, R. Weiss, A Distributed Computer Architecture for Fast Qualitative Simulation , Texas Instruments, The Elite Yearbook 1997 - Digital Signal Processing Solutions from Europe’s leading Universities, 1998.
LibreCat: /record/13464

An optimal checkpointing interval for real-time systems
H. Karl, M. Werner, in: Proc. Intl. Conf. Parallel and Distributed Processing Techniques and Applications, 1998, pp. 604--612.
LibreCat: /record/1012

Snarks and reducibility
G. Brinkmann, E. Steffen, Ars Combinatoria 50 (1998) 292–296.
LibreCat: /record/10193

Chromatic-index-critical graphs of Orders 11 and 12
G. Brinkmann, E. Steffen, European J. Combinatorics 19 (1998) 889–900.
LibreCat: /record/10194

Classification and characterizations of snarkse
E. Steffen, Discrete Mathematics 188 (1998) 183-203 (.
LibreCat: /record/10195

Acceleration of satisfiability algorithms by reconfigurable hardware
M. Platzner, G. De Micheli, in: Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL) , Springer , Berlin, Heidelberg, 1998, pp. 69–78.
LibreCat: /record/13606
DOI: 10.1007/bfb0055234

Reflectance Anisotropy of GaAs(100): Theory and Experiment
A.I. Shkrebtii, N. Esser, W. Richter, W.G. Schmidt, F. Bechstedt, B.O. Fimland, A. Kley, R. Del Sole, Physical Review Letters 81 (1998) 721–724.
LibreCat: /record/13771
DOI: 10.1103/physrevlett.81.721

Geometry and electronic structure of InP(001)(2×4) reconstructions
W.G. Schmidt, F. Bechstedt, Surface Science 409 (1998) 474–484.
LibreCat: /record/13772
DOI: 10.1016/s0039-6028(98)00260-x

Atomic structure of InP(001)-(2×4): A dimer reconstruction
W.G. Schmidt, F. Bechstedt, N. Esser, M. Pristovsek, C. Schultz, W. Richter, Physical Review B 57 (1998) 14596–14599.
LibreCat: /record/13773
DOI: 10.1103/physrevb.57.14596

In-induced (4 × 2) reconstructions of GaAs(001) surfaces
W.G. Schmidt, P. Käckell, F. Bechstedt, Applied Surface Science 123–124 (1998) 136–140.
LibreCat: /record/13774
DOI: 10.1016/s0169-4332(97)00510-2

Ultrasonic sensors for process monitoring and chemical analysis state of the art and trends
P. Hauptmann, R. Lucklum, A. Püttmer, B. Henning, Sensors and Actuators A: Physical 67 (1998) 32–48.
LibreCat: /record/13810
DOI: 10.1016/S0924-4247(97)01725-1

Zum Partikeltransport in Elektrischen Abscheidern
H.-J. Schmid, Zum Partikeltransport in Elektrischen Abscheidern, Shaker Verlag, 1998.
LibreCat: /record/29825

Knowledge based controller selection for electrical drives with imperfect mechanic
F. Schutte, S. Beineke, H. Grotstollen, in: IECON ’98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.980), IEEE, 1998.
LibreCat: /record/30270
DOI: 10.1109/iecon.1998.722864

Modellierungund Regelung stromrichtergespeister Ultraschall-Wanderwellenmotoren
J. Maas, Modellierungund Regelung Stromrichtergespeister Ultraschall-Wanderwellenmotoren, 1998.
LibreCat: /record/30271

Axiomatische Ethik
V. Peckhaus, in: D. Krohn, B. Neißer, N. Walter (Eds.), Zwischen Kant und Hare. Eine Evaluation der Ethik Leonard Nelsons, dipa-Verlag, Frankfurt a. M., 1998, pp. 37–61.
LibreCat: /record/17497

Identification of nonlinear two-mass systems for self-commissioning speed control of electrical drives
S. Beinke, H. Wertz, F. Schutte, H. Grotstollen, N. Fröhleke, in: IECON ’98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.980), IEEE, 1998.
LibreCat: /record/30267
DOI: 10.1109/iecon.1998.724071

A high efficiency single-phase power factor corrected switched mode rectifier
P. Wallmeier, J. Richter, N. Fröhleke, H. Grotstollen, L. Langemeyer, B. Margaritis, in: IECON ’98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.980), IEEE, 1998.
LibreCat: /record/30268
DOI: 10.1109/iecon.1998.724175

Improved analytical modeling of conductive losses in gapped high-frequency inductors
P. Wallmeier, N. Fröhleke, H. Grotstollen, in: Conference Record of 1998 IEEE Industry Applications Conference. Thirty-Third IAS Annual Meeting (Cat. No.982), IEEE, 1998.
LibreCat: /record/30266
DOI: 10.1109/ias.1998.730254

Automated optimization of high frequency inductors
P. Wallmeier, N. Fröhleke, H. Grotstollen, in: IECON ’98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.980), IEEE, 1998.
LibreCat: /record/30269
DOI: 10.1109/iecon.1998.724147

Zermelo, Ernst (1871–1953)
V. Peckhaus, in: E. Craig (Ed.), Routledge Encyclopedia of Philosophy, Bd. 9: Sociology of Knowledge to Zoroastrianism, Routledge, London/ New York, 1998, pp. 853–855.
LibreCat: /record/17647

Gentzen, Gerhard Karl Erich (1909–45)
V. Peckhaus, in: E. Craig (Ed.), Routledge Encyclopedia of Philosophy, Bd. 4: Genealogy to Iqbal, Routledge, London/ New York, 1998, pp. 23–25.
LibreCat: /record/17646

Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, in: Mixed-Mode BIST Using Embedded Processors, Kluwer Academic Publishers, In: M. Nicolaidis, Y. Zorian, D. K. Pradhan (Eds.): On-Line Testing for VLSI, Boston: Kluwer Academic Publishers 1998, 1998.
LibreCat: /record/13060

Mixed-Mode BIST Using Embedded Processors
S. Hellebrand, H.-J. Wunderlich, A. Hertwig, Journal of Electronic Testing Theory and Applications - JETTA 12 (1998) 127–138.
LibreCat: /record/13061

cRussell9s Paradoxd, Rezension von Alejandro R. Garciadiego. Bertrand Russell and the Origins of the Set-theoretic 8Paradoxe. Basel, Boston and Berlin: Birkhäuser Verlag, 1992. Spanish edition: Bertrand Russell y los origines de las cparadojasd de la theoría de conjuntos. Madrid: Alianza Editorial, 1992
V. Peckhaus, Russell 17 (1998) 181–185 [überarbeitete englische Fassung von “Russell y las ‘Paradojas’”).
LibreCat: /record/17781

Helena M. Pycior, Symbols, Impossible Numbers, and Geometric Entanglement. British Algebra through the Commentaries on Newton’s Universal Arithmetic. Cambridge University Press, Cambridge 1997
V. Peckhaus, Erkenntnis 49 (1998) 415–419.
LibreCat: /record/17782

The Heuristic Function of the Axiomatic Method [Abstract]
V. Peckhaus, in: S. Dawson,  u. a. (Eds.), Twentieth World Congress of Philosophy. Abstracts of Invited and Contributed Papers, Boston, 1998, p. 156.
LibreCat: /record/17879

Ocular toxicity from ethambutol: a review of four cases and recommended precautions.
P. Sivakumaran, A. Harrison, J. Marschner, P. Martin, N Z Med J 111 (1998) 428–430.
LibreCat: /record/32237
PMID: 9861923

Ocular toxicity from ethambutol: a review of four cases and recommended precautions.
P. Sivakumaran, A. Harrison, J. Marschner, P. Martin, N Z Med J 111 (1998) 428–430.
LibreCat: /record/32238
PMID: 9861923

Ewald, William (Hg.), "From Kant to Hilbert. A Source Book in the Foundations of Mathematics, 2 Bde"., The Clarendon Press: Oxford/Oxford University Press: New York 1996
V. Peckhaus, Mathematical Reviews (1998).
LibreCat: /record/18740

Spectra and total energies from self-consistent many-body perturbation theory
A. Schindlmayr, T.J. Pollehn, R.W. Godby, Physical Review B 58 (1998) 12684–12690.
LibreCat: /record/18620
DOI: 10.1103/PhysRevB.58.12684
WoS: 000077295500041
arXiv: cond-mat/9806121

Systematic vertex corrections through iterative solution of Hedin's equations beyond the GW approximation
A. Schindlmayr, R.W. Godby, Physical Review Letters 80 (1998) 1702–1705.
LibreCat: /record/18622
DOI: 10.1103/PhysRevLett.80.1702
WoS: 000072117600034
arXiv: cond-mat/9710295

Assessment of the GW approximation using Hubbard chains
T.J. Pollehn, A. Schindlmayr, R.W. Godby, Journal of Physics: Condensed Matter 10 (1998) 1273–1283.
LibreCat: /record/18624
DOI: 10.1088/0953-8984/10/6/011
WoS: 000072104000011
arXiv: cond-mat/9711120

Klassische philosophische Texte von Frauen. 2nd ed
R.E. Hagengruber, ed., Klassische philosophische Texte von Frauen. 2nd ed, dtv, Deutscher Taschenbuch Verlag, München, 1998.
LibreCat: /record/15507

eDas Ausmaß der Trauerc 3 Negativdarstellung und Engagement bei Max Frisch
I. Block, Literatur in Wissenschaft und Unterricht (1998) 231–249.
LibreCat: /record/34381

Die inhaltliche Dynamik des wirklichen Lebens bei Max Frisch. Zum Wandel eines Sujetbegriffs
I. Block, StudiaNeophilologica (1998) 41–53.
LibreCat: /record/34382

Visuelle Spezifikations- und Modellierungstechniken
W. Müller, J. Sturm, It - Information Technology (1998) 32–36.
LibreCat: /record/34578
DOI: 10.1524/itit.1998.40.3.32

Wissen und Handeln: Ein Lehrbuch zur Geschichte der Ethik für den Gymnasialunterricht unter Berücksichtigung der Schriften von Philosophinnen
R.E. Hagengruber, ed., Wissen und Handeln: Ein Lehrbuch zur Geschichte der Ethik für den Gymnasialunterricht unter Berücksichtigung der Schriften von Philosophinnen, Rheinland-Pfalz, 1998.
LibreCat: /record/12849

[Rez. v.] Francis Haskell. Die Geschichte und ihre Bilder. Die Kunst und die Deutung der Vergangenheit. Aus dem Englischen übersetzt von Michael Bischoff. Verlag C.H. Beck, München 1995
J. Süßmann, Archiv für Sozialgeschichte 38 (1998) 679–682.
LibreCat: /record/34769

Dummett, Michael, cIntroductory Remarksd, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 69376
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete  (1998).
LibreCat: /record/18237

Spalt, Detlef D., eExaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundertc, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 45359
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18212

Murawski, Roman, cOn the Philosophical Meaning of Reverse Mathematicsd, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 1733184
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18233

Cellucci, Carlo, cFrom Closed to Open Systemsd, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 2063220
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18230

Maddy, Penelope, cWittgenstein9s Anti-Philosophy of Mathematicsd, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 52372
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete  (1998).
LibreCat: /record/18239

Wang, Hao, cWhat is Logic?d, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 11323
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete  (1998).
LibreCat: /record/18238

Brosch, Anette, cTLP 4.0312d, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 1673172
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat: /record/18228

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

Nerode, Anil, cAn Appreciation of Kreiseld, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81388
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18297

Takeuti, Gaisi, cKreisel and Id, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 1073109
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18296

Weingartner, Paul, cSome Critical Remarks on Definitions and on Philosophical and Logical Idealsd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 4173438
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat: /record/18308

Huber-Dyson, Verena, cToughts on the Occasion of Georg Kreisel9s 70th Birth-dayd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 51373
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18301

Macintyre, Angus/Wilkie, A.J., cOn the Decidability of the Real Exponential Fieldd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 4413467
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18304

Luckhardt, Horst, cBounds Extracted by Georg Kreisel from Ineffective Proofsd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 2473273
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18302

Mints, Gregory, cNormal Forms for Sequent Derivationsd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 4693492
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18309

McCarty, David, cCompleteness for Intuitionistic Logicd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3013334
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18303

Parikh, Rohit, cSome Reminiscences of Kreiseld, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89396
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18300

Odifreddi, Piergiorgio, cKreisel9s Churchd, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3893415
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete  (1998).
LibreCat: /record/18307