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: 16536
Dellnitz M, Junge O. An adaptive subdivision technique for the approximation of attractors and invariant measures. Computing and Visualization in Science. 1998:63-68. doi:10.1007/s007910050006
LibreCat
| DOI
1998 | Book Chapter | LibreCat-ID: 16562
Meyer auf der Heide F, Martinez GT. Communication-efficient parallel multiway and approximate minimum cut computation. In: LATIN’98: Theoretical Informatics. Berlin, Heidelberg; 1998. doi:10.1007/bfb0054332
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 16563
Cole R, Maggs BM, Meyer auf der Heide F, et al. Randomized protocols for low-congestion circuit routing in multistage interconnection networks. In: Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing - STOC ’98. ; 1998. doi:10.1145/276698.276790
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 16891
Vollbracht S, Domik G, Backe-Neuwald D, Rinkens H-D. Teaching Spatial Orientation using Virtual Worlds. In: Proceedings of ED-MEDIA. ; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 16892
Lenz C, Stüwe JD, Domik G. Integration of GIS and VRML. In: ; 1998.
LibreCat
1998 | Book Chapter | LibreCat-ID: 1720
Krimphove D. Europäisches Arbeitsrecht. In: Clermont A, Schmeisser W, eds. Betriebliche Personal- Und Sozialpolitik. München: Verlag Vahlen; 1998:43-62.
LibreCat
1998 | Journal Article | LibreCat-ID: 1721
Krimphove D. Der Einsatz der Ökonomischen Analyse des Rechts als notwendiges Instrument der Europäischen Rechtsvergleichung . Zeitschrift für Rechtsvergleichung -ZfRV. 1998;(39. Jg, Heft 5):185-205.
LibreCat
1998 | Journal Article | LibreCat-ID: 10607
Platzner M. Reconfigurable Computer Architectures. e&i Elektrotechnik und Informationstechnik. 1998;115:143-148.
LibreCat
1998 | Journal Article | LibreCat-ID: 10608
Platzner M, Rinner B. Design and Implementation of a Parallel Constraint Satisfaction Algorithm. International Journal of Computers & Their Applications. 1998;5:106-116.
LibreCat
1998 | Conference Paper | LibreCat-ID: 11730 | 
Beyerlein P, Aubert XL, Haeb-Umbach R, et al. Automatic Transcription of English Broadcast News. In: DARPA Broadcast News Transcription and Understanding Workshop, Landsdowne. ; 1998.
LibreCat
| Download (ext.)
1998 | Conference Paper | LibreCat-ID: 11784 |
Haeb-Umbach R, Aubert XL, Beyerlein P, et al. Acoustic Modeling in the Philips Hub-4 Continuous-Speech Recognition System. In: DARPA Broadcast News Transcription and Understanding Workshop, Landsdowne. ; 1998.
LibreCat
| Download (ext.)
1998 | Conference Paper | LibreCat-ID: 11842 |
Klakow D, Aubert XL, Haeb-Umbach R, et al. Language-Model Investigations related to Broadcast News. In: DARPA Broadcast News Transcription and Understanding Workshop, Landsdowne. ; 1998.
LibreCat
| Download (ext.)
1998 | Conference Paper | LibreCat-ID: 11936 |
Welling L, Haeb-Umbach R, Aubert X, Haberland N. A Study on Speaker Normalization Using Vocal Tract Normalization and Speaker Adaptive Training. In: ICASSP 1998, Seattle. ; 1998.
LibreCat
| Download (ext.)
1998 | Report | LibreCat-ID: 13029
Hellebrand S, Wunderlich H-J. Test Und Synthese Schneller Eingebetteter Systeme. Universität Stuttgart; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15288
Hüllermeier E, Giersch C. Fuzzy sets and modelling of uncertainty in biological systems. 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:1857-1864.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15289
Hüllermeier E. A Bayesian approach to case-based probalistic reasoning. 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:1296-1303.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15303
Hüllermeier E. Numerical solutions for fuzzy initial value problems. In: Borne P, Ksouri M, El Kamel A, eds. In Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia. ; 1998.
LibreCat
1998 | Misc | LibreCat-ID: 15390
Henning B, Daur P-C, Prange S, Dierks K. In-Line-Flüssigkeitsanalysator Für Verfahrenstechnische Prozesse.; 1998:165-172.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15810
Hüllermeier E. Case-based probality and case-based decision making. In: Gierl L, Lenz M, eds. In Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany. ; 1998:13-22.
LibreCat
1998 | Journal Article | LibreCat-ID: 15070
Volbracht S, Domik G, Backe-Neuwald D, Rinkens H-D. The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation. Journal of Universal Computer Science. 1998;4(4):461-465.
LibreCat
1998 | Journal Article | LibreCat-ID: 15159
Volbracht S, Domik G, Shahrbabaki K, Fels G. An Example of Task Oriented Empirical Evaluations of 3D-Display Modes. Journal of Universal Computer Science. 1998;4(5):534-546.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15271
Koenig M, Lenz C, Domik G. Visualization of meteorological data using an interactive flight. In: Proceedings. Computer Graphics International (Cat. No. 98EX149). ; 1998:402-403.
LibreCat
1998 | Conference Paper | LibreCat-ID: 15287
Hüllermeier E. Fuzzy dynamics of compartmental systems. In: Zimmermann HJ, ed. In Proceedings EUFIT-98 6th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1998.
LibreCat
1998 | Misc | LibreCat-ID: 13091
N. Yarmolik V, Hellebrand S, Wunderlich H-J. Efficient Consistency Checking for Embedded Memories. 5th IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA; 1998.
LibreCat
1998 | Misc | LibreCat-ID: 13092
N. Yarmolik V, Hellebrand S, Wunderlich H-J. Efficient Consistency Checking for Embedded Memories. 10th GI/ITG/GMM/IEEE Workshop; 1998.
LibreCat
1998 | Misc | LibreCat-ID: 13464
Platzner M, Rinner B, Weiss R. A Distributed Computer Architecture for Fast Qualitative Simulation . Texas Instruments, The Elite Yearbook 1997 - Digital Signal Processing Solutions from Europe’s leading Universities; 1998:106-107.
LibreCat
1998 | Conference Paper | LibreCat-ID: 1012
Karl H, Werner M. An optimal checkpointing interval for real-time systems. In: Proc. Intl. Conf. Parallel and Distributed Processing Techniques and Applications. ; 1998:604--612.
LibreCat
1998 | Journal Article | LibreCat-ID: 10193
Brinkmann G, Steffen E. Snarks and reducibility. Ars Combinatoria. 1998;50:292-296.
LibreCat
1998 | Journal Article | LibreCat-ID: 10194
Brinkmann G, Steffen E. Chromatic-index-critical graphs of Orders 11 and 12. European J Combinatorics. 1998;19:889-900.
LibreCat
1998 | Journal Article | LibreCat-ID: 10195
Steffen E. Classification and characterizations of snarkse. Discrete Mathematics. 1998;188:183-203 (.
LibreCat
1998 | Conference Paper | LibreCat-ID: 13606
Platzner M, De Micheli G. Acceleration of satisfiability algorithms by reconfigurable hardware. In: Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL) . LNCS. Berlin, Heidelberg: Springer ; 1998:69-78. doi:10.1007/bfb0055234
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 13771
Shkrebtii AI, Esser N, Richter W, et al. Reflectance Anisotropy of GaAs(100): Theory and Experiment. Physical Review Letters. 1998;81(3):721-724. doi:10.1103/physrevlett.81.721
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 13772
Schmidt WG, Bechstedt F. Geometry and electronic structure of InP(001)(2×4) reconstructions. Surface Science. 1998;409(3):474-484. doi:10.1016/s0039-6028(98)00260-x
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 13773
Schmidt WG, Bechstedt F, Esser N, Pristovsek M, Schultz C, Richter W. Atomic structure of InP(001)-(2×4): A dimer reconstruction. Physical Review B. 1998;57(23):14596-14599. doi:10.1103/physrevb.57.14596
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 13774
Schmidt WG, Käckell P, Bechstedt F. In-induced (4 × 2) reconstructions of GaAs(001) surfaces. Applied Surface Science. 1998;123-124:136-140. doi:10.1016/s0169-4332(97)00510-2
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 13810
Hauptmann P, Lucklum R, Püttmer A, Henning B. Ultrasonic sensors for process monitoring and chemical analysis state of the art and trends. Sensors and Actuators A: Physical. 1998;67(1-3):32-48. doi:10.1016/S0924-4247(97)01725-1
LibreCat
| DOI
1998 | Dissertation | LibreCat-ID: 29825
Schmid H-J. Zum Partikeltransport in Elektrischen Abscheidern. Shaker Verlag; 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 30270
Schutte F, Beineke S, Grotstollen H. Knowledge based controller selection for electrical drives with imperfect mechanic. In: IECON ’98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.98CH36200). IEEE; 1998. doi:10.1109/iecon.1998.722864
LibreCat
| DOI
1998 | Dissertation | LibreCat-ID: 30271
Maas J. Modellierungund Regelung Stromrichtergespeister Ultraschall-Wanderwellenmotoren.; 1998.
LibreCat
1998 | Book Chapter | LibreCat-ID: 17497
Peckhaus V. Axiomatische Ethik. In: Krohn D, Neißer B, Walter N, eds. Zwischen Kant und Hare. Eine Evaluation der Ethik Leonard Nelsons. Vol 5. Sokratisches Philosophieren. dipa-Verlag; 1998:37-61.
LibreCat
1998 | Conference Paper | LibreCat-ID: 30267
Beinke S, Wertz H, Schutte F, Grotstollen H, Fröhleke N. Identification of nonlinear two-mass systems for self-commissioning speed control of electrical drives. In: IECON ’98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.98CH36200). IEEE; 1998. doi:10.1109/iecon.1998.724071
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 30268
Wallmeier P, Richter J, Fröhleke N, Grotstollen H, Langemeyer L, Margaritis B. A high efficiency single-phase power factor corrected switched mode rectifier. In: IECON ’98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.98CH36200). IEEE; 1998. doi:10.1109/iecon.1998.724175
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 30266
Wallmeier P, Fröhleke N, Grotstollen H. Improved analytical modeling of conductive losses in gapped high-frequency inductors. In: Conference Record of 1998 IEEE Industry Applications Conference. Thirty-Third IAS Annual Meeting (Cat. No.98CH36242). IEEE; 1998. doi:10.1109/ias.1998.730254
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 30269
Wallmeier P, Fröhleke N, Grotstollen H. Automated optimization of high frequency inductors. In: IECON ’98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.98CH36200). IEEE; 1998. doi:10.1109/iecon.1998.724147
LibreCat
| DOI
1998 | Encyclopedia Article | LibreCat-ID: 17647
Peckhaus V. Zermelo, Ernst (1871–1953). In: Craig E, ed. Routledge Encyclopedia of Philosophy, Bd. 9: Sociology of Knowledge to Zoroastrianism. Routledge; 1998:853-855.
LibreCat
1998 | Encyclopedia Article | LibreCat-ID: 17646
Peckhaus V. Gentzen, Gerhard Karl Erich (1909–45). In: Craig E, ed. Routledge Encyclopedia of Philosophy, Bd. 4: Genealogy to Iqbal. Routledge; 1998:23-25.
LibreCat
1998 | Book Chapter | LibreCat-ID: 13060
Hellebrand S, Wunderlich H-J, Hertwig A. Mixed-Mode BIST Using Embedded Processors. In: Mixed-Mode BIST Using Embedded Processors. 5. Kluwer Academic Publishers; 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 13061
Hellebrand S, Wunderlich H-J, Hertwig A. Mixed-Mode BIST Using Embedded Processors. Journal of Electronic Testing Theory and Applications - JETTA. 1998;12(1/2):127-138.
LibreCat
1998 | Book Review | LibreCat-ID: 17781
Peckhaus V. “Russell’s Paradox”, Rezension von Alejandro R. Garciadiego. Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’. Basel, Boston and Berlin: Birkhäuser Verlag, 1992. Spanish edition: Bertrand Russell y los origines de las “paradojas” de la theoría de conjuntos. Madrid: Alianza Editorial, 1992. Russell. 1998;17(2 (Winter 1997/98)):181–185 [überarbeitete englische Fassung von “Russell y las ‘Paradojas’”).
LibreCat
1998 | Book Review | LibreCat-ID: 17782
Peckhaus V. Helena M. Pycior, Symbols, Impossible Numbers, and Geometric Entanglement. British Algebra through the Commentaries on Newton’s Universal Arithmetic. Cambridge University Press, Cambridge 1997. Erkenntnis. 1998;49([erschienen im Mai 1999]):415-419.
LibreCat
1998 | Conference Abstract | LibreCat-ID: 17879
Peckhaus V. The Heuristic Function of the Axiomatic Method [Abstract]. In: Dawson S, a. u., eds. Twentieth World Congress of Philosophy. Abstracts of Invited and Contributed Papers. ; 1998:156.
LibreCat
1998 | Journal Article | LibreCat-ID: 32237
Sivakumaran P, Harrison A, Marschner J, Martin P. Ocular toxicity from ethambutol: a review of four cases and recommended precautions. N Z Med J. 1998;111(1077):428-430.
LibreCat
| PubMed | Europe PMC
1998 | Journal Article | LibreCat-ID: 32238
Sivakumaran P, Harrison A, Marschner J, Martin P. Ocular toxicity from ethambutol: a review of four cases and recommended precautions. N Z Med J. 1998;111(1077):428-430.
LibreCat
| PubMed | Europe PMC
1998 | Book Review | LibreCat-ID: 18740
Peckhaus V. 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. Mathematical Reviews. Published online 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 18620 |
Schindlmayr A, Pollehn TJ, Godby RW. Spectra and total energies from self-consistent many-body perturbation theory. Physical Review B. 1998;58(19):12684-12690. doi:10.1103/PhysRevB.58.12684
LibreCat
| Files available
| DOI
| WoS
| arXiv
1998 | Journal Article | LibreCat-ID: 18622 |
Schindlmayr A, Godby RW. Systematic vertex corrections through iterative solution of Hedin’s equations beyond the GW approximation. Physical Review Letters. 1998;80(8):1702-1705. doi:10.1103/PhysRevLett.80.1702
LibreCat
| Files available
| DOI
| WoS
| arXiv
1998 | Journal Article | LibreCat-ID: 18624
Pollehn TJ, Schindlmayr A, Godby RW. Assessment of the GW approximation using Hubbard chains. Journal of Physics: Condensed Matter. 1998;10(6):1273-1283. doi:10.1088/0953-8984/10/6/011
LibreCat
| Files available
| DOI
| WoS
| arXiv
1998 | Book (Editor) | LibreCat-ID: 15507
Hagengruber RE, ed. Klassische philosophische Texte von Frauen. 2nd ed. dtv, Deutscher Taschenbuch Verlag; 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 34381
Block I. „Das Ausmaß der Trauer“ – Negativdarstellung und Engagement bei Max Frisch. Literatur in Wissenschaft und Unterricht. 1998;(3):231-249.
LibreCat
1998 | Journal Article | LibreCat-ID: 34382
Block I. Die inhaltliche Dynamik des wirklichen Lebens bei Max Frisch. Zum Wandel eines Sujetbegriffs. StudiaNeophilologica. 1998;(70):41-53.
LibreCat
1998 | Journal Article | LibreCat-ID: 34578
Müller W, Sturm J. Visuelle Spezifikations- und Modellierungstechniken. it - Information Technology. Published online 1998:32-36. doi:10.1524/itit.1998.40.3.32
LibreCat
| DOI
1998 | Book (Editor) | LibreCat-ID: 12849
Hagengruber RE, ed. Wissen und Handeln: Ein Lehrbuch zur Geschichte der Ethik für den Gymnasialunterricht unter Berücksichtigung der Schriften von Philosophinnen.; 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 34769 |
Süßmann J. [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. Archiv für Sozialgeschichte. 1998;38:679–682.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18237
Peckhaus V. Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 69–76. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18212
Peckhaus V. Spalt, Detlef D., „Exaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundert“, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 45–59. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18233
Peckhaus V. Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 173–184. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18230
Peckhaus V. Cellucci, Carlo, “From Closed to Open Systems”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 206–220. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18239
Peckhaus V. Maddy, Penelope, “Wittgenstein’s Anti-Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 52–72. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18238
Peckhaus V. Wang, Hao, “What is Logic?”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 11–23. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18228
Peckhaus V. Brosch, Anette, “TLP 4.0312”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 167–172. Zentralblatt für Mathematik und ihre Grenzgebiete. Published online 1998.
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 13064
Hellebrand S, Hertwig A, Wunderlich H-J. Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications. IEEE Design and Test. 1998;15(4):36-41.
LibreCat
1998 | Conference Paper | LibreCat-ID: 13007
Hertwig A, Hellebrand S, Wunderlich H-J. Fast Self-Recovering Controllers. In: 16th IEEE VLSI Test Symposium (VTS’98). IEEE; 1998:296-302. doi:10.1109/vtest.1998.670883
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13008
Hellebrand S, Wunderlich H-J, N. Yarmolik V. Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs. In: Design Automation and Test in Europe (DATE’98). ; 1998:173-179. doi:10.1109/date.1998.655853
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13063
N. Yarmolik V, V. Klimets Y, Hellebrand S, Wunderlich H-J. New Transparent RAM BIST Based on Self-Adjusting Output Data Compression. In: Design & Diagnostics of Electronic Circuits & Systems (DDECS’98). ; 1998:27-33.
LibreCat
1998 | Book Review | LibreCat-ID: 18231
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18213
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18244
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18223
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18274
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18272
Peckhaus V. 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 . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18270
Peckhaus V. Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18273
Peckhaus V. Barwise, Jon, “The Right Things for the Right Reasons”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18275
Peckhaus V. Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18292
Peckhaus V. Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18293
Peckhaus V. Dyson, Freeman, “Addendum: ‘Thoughts on the Occasion of Georg Kreisel’s 70th Birthday’”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 75. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18294
Peckhaus V. Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18295
Peckhaus V. Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 31516
Egidi M. „Textuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlob“. GRM, NF 48 . Published online 1998:405-433.
LibreCat
1998 | Book Review | LibreCat-ID: 18299
Peckhaus V. Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18298
Peckhaus V. Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18297
Peckhaus V. Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18296
Peckhaus V. Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18308
Peckhaus V. Weingartner, Paul, “Some Critical Remarks on Definitions and on Philosophical and Logical Ideals”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 417–438. Zentralblatt für Mathematik und ihre Grenzgebiete. Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18301
Peckhaus V. Huber-Dyson, Verena, “Toughts on the Occasion of Georg Kreisel’s 70th Birth-day”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 51–73. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18304
Peckhaus V. Macintyre, Angus/Wilkie, A.J., “On the Decidability of the Real Exponential Field”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 441–467. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18302
Peckhaus V. Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18309
Peckhaus V. Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18303
Peckhaus V. McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18300
Peckhaus V. Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18307
Peckhaus V. Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat
| Files available