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.

13665 Publications


1998 | Conference Paper | LibreCat-ID: 8286
Gadducci F, Heckel R, Koch M. Model Checking Graph-Interpreted Temporal Formulas. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn; 1998.
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. London/ New York: Routledge; 1998:23-25.
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. Boston; 1998:156.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18226
Peckhaus V. Boole, George, Selected Manuscripts on Logic and its Philosophy, hg. v. Ivor Grattan-Guinness/Gérard Bornet, Birkhäuser: Basel 1997. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87703003]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18219
Peckhaus V. Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87701019]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18245
Peckhaus V. Schulz, Klaus-Dieter, Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie, Peter Lang: Frankfurt a.M. u.a. 1997. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 88103002]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18233
Peckhaus V. Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [9.4], 173–184. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87800006]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18238
Peckhaus V. Wang, Hao, “What is Logic?”, in: Puhl (Hg.) 1993 [9.5], 11–23. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87803005]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18252
Peckhaus V. Janich, Peter, Euclid’s Heritage: Is Space Three-dimensional?, Dordrecht: Kluwer Academic Publishers 1992 (= The University of Western Ontario Series in Philosophy; 52). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 88500011]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18271
Peckhaus V. Rodych, Victor, “Wittgenstein on Mathematical Meaningfulness, Decidability, and Application”, Notre Dame Journal of Formal Logic 38 (1997), Nr. 2, 195–224. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89100007]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18269
Peckhaus V. Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 88903002]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18295
Peckhaus V. Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 79–80. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89401014]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18310
Peckhaus V. Ihmig, Karl-Norbert, „Hilberts axiomatische Methode und der Fortschritt in den Naturwissenschaften. Zu Cassirers Wissenschaftsphilosophie“, in: Rudolph, Enno/Stamatescu, Ion O. (eds.), Von der Philosophie zur Wissenschaft: Cassirers Dialog mit der Naturwissenschaft, Meiner: Hamburg 1997, 63–91. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89900009]. 1998.
LibreCat
 

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, 417–438. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89703006]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18303
Peckhaus V. McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89603007]. 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
 

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 [MR 98i:01040]. 1998.
LibreCat
 

1998 | Book | LibreCat-ID: 18144
Büker P. Erziehung zu europäischer Verständigung in der Grundschule - Bedingungen - didaktische Konkretisierung - Realisationsmöglichkeiten. Frankfurt am Main u. a.: Lang; 1998.
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 19712
Büker P. Europaoffenes Lernen mit Grundschulkindern - Bedingungen und didaktische Perspektiven für einen neuen Aufgabenbereich der Primarstufe. In: Tuyaerts A, Hagemann W, Tulodziecki G, eds. Lernen und Lehren für Europa. Festschrift für Waltraut Schöler. Frankfurt am Main: Lang; 1998:175-201.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 2170
Feige U, Scheideler C. Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract). In: STOC. ; 1998:624--633.
LibreCat | Files available
 

1998 | Journal Article | LibreCat-ID: 2168
Scheideler C, Vöcking B. Universal Continuous Routing Strategies. Theory Comput Syst. 1998;31(4):425--449. doi:10.1007/s002240000096
LibreCat | DOI
 

1998 | Journal Article | LibreCat-ID: 20745
Hahn O, Koyro M, Meschut G. Wärmeleitfähigkeit, Festigkeit und Alterungsverhalten von Klebverbindungen mit füllstoffmodifizierten Klebstoffen. Schweißen und Schneiden. 1998;50(7):424-430.
LibreCat
 

1998 | Misc | LibreCat-ID: 21231
Meschut G. Bestimmung Der Wärmeleitfähigkeit von Klebstoffen. Berlin: Beuth Verlag; 1998.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 10196
Brinkmann G, Steffen E. 3- and 4-critical graphs of small even order. Discrete Mathematics. 1997;188:193-197.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 13859
Nilen RWN, Connell SH, Britton DT, et al. A High Resolution Investigation of the Anisotropic Electron-Positron Momentum Distribution in Diamond. Materials Science Forum. 1997;255-257:475-478. doi:10.4028/www.scientific.net/msf.255-257.475
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 13777
Grossner U, Schmidt WG, Bechstedt F. As on InP(110) studied within density-functional theory. Physical Review B. 1997;56(11):6719-6726. doi:10.1103/physrevb.56.6719
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 1445
Baratloo A, Karaul M, Karl H, Kedem ZM. KnittingFactory: An Infrastructure for Distributed Web Applications. Technical Report. 1997.
LibreCat | Files available
 

1997 | Conference Paper | LibreCat-ID: 14991
Gutkauf B, Thies S, Domik G. A user-adaptive chart editing system based on user modeling and critiquing. In: User Modeling. ; 1997:159-170.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 15571
Hagengruber R. La fondazione del punto matematico nella filosofia di Tommaso Campanella. Bruniana & Campanelliana. 1997;3(1):77-92.
LibreCat | Download (ext.)
 

1997 | Conference Paper | LibreCat-ID: 2013
Brune M, Hellmann C, Keller A. A Closer Step towards Management of Metacomputing-Resources. In: Proc. Workshop Hypercomputing at ITG/GI-Conference Architekur von Rechensystemen. Rostock, Germany; 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 1692
Krimphove D. Eva M. K. Häußling: Soziale Grundrechte in der portugiesi-schen Verfassung von 1976; in: Beiträge zum ausländischen und vergleichenden öffentlichen Recht Bd. 10, Diss. Bonn 1996; Nomos-Verlagsgesellschaft, Baden-Baden 1997. Euro A S . 1997;(Heft 12):171 f.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 16687
Karaivazoglou E, Meyer auf der Heide F. Routing on asyncronous processor networks. In: Euro-Par’97 Parallel Processing. Berlin, Heidelberg; 1997. doi:10.1007/bfb0002741
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 16567
Meyer auf der Heide F, Storch M, Wanka R. Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks. Theory of Computing Systems. 1997:627-644. doi:10.1007/s002240000071
LibreCat | DOI
 

1997 | Working Paper | LibreCat-ID: 2671
Betz S. Die Zielkostenrechnung Als Controllinginstrument. Vol Neue Folge Nr. 49. Paderborn; 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 3706
Harteis C. Qualität in der Weiterbildung? Grundlagen der Weiterbildung (GdWZ). 1997;8(2):214-215.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7842
Knoke S, Depke R, Schöne W, Brozek OS, Tünnermann A, Welling H. Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany). Vol 32. Physik-Verlag; 1997.
LibreCat
 

1997 | Report | LibreCat-ID: 8201
Heckel R, Ehrig H, Wolter U, Corradini A. Loose Semantics and Constraints for Graph Transformation Systems.; 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8903
Sextro W. Schwingungsverhalten von Schaufelkränzen mit Reibelementen bei Frequenzverstimmung. In: VDI-Reihe. Vol 11. VDI-Verlag, Düsseldorf; 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 17015
Dellnitz M, Hohmann A. A subdivision algorithm for the computation of unstable manifolds and global attractors. Numerische Mathematik. 1997;75:293-317. doi:10.1007/s002110050240
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 17495
Peckhaus V. The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic. In: Philosophia Scientiae. Travaux d’histoire et de Philosophie Des Science (Nancy) 1/3 (1996). 1–15 [Erschienen Im Juni 1997, = Actes Du Congrès International Poincaré – Nancy 1994; Bd. 2.2]. ; 1997:1-15.
LibreCat
 

1997 | Book Review | LibreCat-ID: 17779
Peckhaus V. Jarmo Pulkkinen, The Threat of Logical Mathematism. A Study on the Critique of Mathematical Logic in Germany at the Turn of the 20th Century, Peter Lang: Frankfurt a.M. 1994 (= Scandinavian University Studies in the Humanities and Social Sciences; 7). History and Philosophy of Logic. 1997;18:115–120 (Essay Review).
LibreCat
 

1997 | Book Review | LibreCat-ID: 18203
Peckhaus V. Temple, George, “Fundamental Mathematical Theories”, Philos. Trans. R. Soc. Lond., Ser. A 354, No. 1714 (1996), 1941–1967. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 86303005]. 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18208
Peckhaus V. Benmakhlouf, Ali, Gottlob Frege. Logicien philosophe, Presses Universitaires de France: Paris 1997. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87301015]. 1997.
LibreCat
 

1997 | Book (Editor) | LibreCat-ID: 18551
Frank B, Haye T, Tophinke D, eds. Gattungen mittelalterlicher Schriftlichkeit. Tübingen: Narr; 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 18575
Sohler C, Denny M. Encoding a Triangulation as a Permutation of its Point Set. In: Proceedings of the 9th Canadian Conference on Computational Geometry. ; 1997:39-43.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 18626
Schindlmayr A. Excitons with anisotropic effective mass. European Journal of Physics. 1997;18(5):374-376. doi:10.1088/0143-0807/18/5/011
LibreCat | Files available | DOI
 

1997 | Report | LibreCat-ID: 18955
Strothmann W-B, Lukovszki T. Decremental Biconnectivity on Planar Graphs. Paderborn; 1997.
LibreCat | Files available
 

1997 | Journal Article | LibreCat-ID: 19410
Eke NO. Planziel Vernichtung. Zwei Versuche über das Unfaßbare des Völkermords: Franz Werfels Die vierzig Tage des Musa Dagh (1933) und Edgar Hilsenraths Das Märchen vom letzten Gedanken (1989). Deutsche Vierteljahrsschrift für Literaturwissenschaft und Geistesgeschichte. 1997;71(H. 4):701-723.
LibreCat
 

1997 | Dissertation | LibreCat-ID: 19636
Dittrich W. Communication and I/O Efficient Parallel Data Structures. Universität Paderborn; 1997.
LibreCat
 

1997 | Dissertation | LibreCat-ID: 19631
Bäumker A. Communication Efficient Parallel Searching. Universität Paderborn; 1997.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed