en
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.
13558 Publications
1998 | Conference Paper | LibreCat-ID: 8286
F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal Formulas,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 16890
G. Domik-Kienegger and S. Vollbracht, “Dreidimensionale Welten auf flachen Bildschirmen,” in Zeitschrift Forschungsforum Paderborn , 1998.
LibreCat
1998 | Encyclopedia Article | LibreCat-ID: 17646
V. Peckhaus, “Gentzen, Gerhard Karl Erich (1909–45),” in Routledge Encyclopedia of Philosophy, Bd. 4: Genealogy to Iqbal, E. Craig, Ed. London/ New York: Routledge, 1998, pp. 23–25.
LibreCat
1998 | Conference Abstract | LibreCat-ID: 17879
V. Peckhaus, “The Heuristic Function of the Axiomatic Method [Abstract],” in Twentieth World Congress of Philosophy. Abstracts of Invited and Contributed Papers, 1998, p. 156.
LibreCat
1998 | Book Review | LibreCat-ID: 18226
V. Peckhaus, “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. 877.03003]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18219
V. Peckhaus, “Deakin, Michael A.B., ‘Boole’s Mathematical Blindness’, Math. Gaz. 80 (1996), 511–518,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.01019]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18245
V. Peckhaus, “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. 881.03002]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18233
V. Peckhaus, “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. 878.00006]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18238
V. Peckhaus, “Wang, Hao, ‘What is Logic?’, in: Puhl (Hg.) 1993 [9.5], 11–23,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 878.03005]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18252
V. Peckhaus, “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. 885.00011]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18271
V. Peckhaus, “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. 891.00007]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18269
V. Peckhaus, “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. 889.03002]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18295
V. Peckhaus, “Morley, Michael, ‘Two Insights’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 79–80,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01014]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18310
V. Peckhaus, “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. 899.00009]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18308
V. Peckhaus, “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. 897.03006]. 1998.
LibreCat
1998 | Book Review | LibreCat-ID: 18303
V. Peckhaus, “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 301–334,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03007]. 1998.
LibreCat
1998 | Journal Article | LibreCat-ID: 18620
A. Schindlmayr, T. J. Pollehn, and R. W. Godby, “Spectra and total energies from self-consistent many-body perturbation theory,” Physical Review B, vol. 58, no. 19, pp. 12684–12690, 1998.
LibreCat
| Files available
| DOI
| WoS
1998 | Book Review | LibreCat-ID: 18740
V. Peckhaus, “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
P. Büker, 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
P. Büker, “Europaoffenes Lernen mit Grundschulkindern - Bedingungen und didaktische Perspektiven für einen neuen Aufgabenbereich der Primarstufe,” in Lernen und Lehren für Europa. Festschrift für Waltraut Schöler, A. Tuyaerts, W. Hagemann, and G. Tulodziecki, Eds. Frankfurt am Main: Lang, 1998, pp. 175–201.
LibreCat
1998 | Conference Paper | LibreCat-ID: 2170
U. Feige and C. Scheideler, “Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract),” in STOC, 1998, pp. 624--633.
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 20745
O. Hahn, M. Koyro, and G. Meschut, “Wärmeleitfähigkeit, Festigkeit und Alterungsverhalten von Klebverbindungen mit füllstoffmodifizierten Klebstoffen,” Schweißen und Schneiden, vol. 50, no. 7, pp. 424–430, 1998.
LibreCat
1998 | Misc | LibreCat-ID: 21231
G. Meschut, Bestimmung der Wärmeleitfähigkeit von Klebstoffen. Berlin: Beuth Verlag, 1998.
LibreCat
1997 | Journal Article | LibreCat-ID: 10196
G. Brinkmann and E. Steffen, “3- and 4-critical graphs of small even order,” Discrete Mathematics, vol. 188, pp. 193–197, 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 1445
A. Baratloo, M. Karaul, H. Karl, and Z. M. Kedem, “KnittingFactory: An Infrastructure for Distributed Web Applications,” Technical Report, 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 14991
B. Gutkauf, S. Thies, and G. Domik, “A user-adaptive chart editing system based on user modeling and critiquing,” in User Modeling, 1997, pp. 159–170.
LibreCat
1997 | Journal Article | LibreCat-ID: 15571
R. Hagengruber, “La fondazione del punto matematico nella filosofia di Tommaso Campanella,” Bruniana & Campanelliana, vol. 3, no. 1, pp. 77–92, 1997.
LibreCat
| Download (ext.)
1997 | Conference Paper | LibreCat-ID: 2013
M. Brune, C. Hellmann, and A. Keller, “A Closer Step towards Management of Metacomputing-Resources,” in Proc. Workshop Hypercomputing at ITG/GI-Conference Architekur von Rechensystemen, 1997.
LibreCat
1997 | Book Review | LibreCat-ID: 1692
D. Krimphove, “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 , no. Heft 12. p. 171 f., 1997.
LibreCat
1997 | Working Paper | LibreCat-ID: 2671
S. Betz, Die Zielkostenrechnung als Controllinginstrument, vol. Neue Folge Nr. 49. Paderborn, 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 3706
C. Harteis, “Qualität in der Weiterbildung?,” Grundlagen der Weiterbildung (GdWZ), vol. 8, no. 2, pp. 214–215, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7842
S. Knoke, R. Depke, W. Schöne, O. S. Brozek, A. Tünnermann, and H. Welling, “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung,” in Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), 1997, vol. 32, no. 3.
LibreCat
1997 | Report | LibreCat-ID: 8201
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems. 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8903
W. Sextro, “Schwingungsverhalten von Schaufelkränzen mit Reibelementen bei Frequenzverstimmung,” in VDI-Reihe, 1997, vol. 11, no. 245.
LibreCat
1997 | Conference Paper | LibreCat-ID: 17495
V. Peckhaus, “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, pp. 1–15.
LibreCat
1997 | Book Review | LibreCat-ID: 17779
V. Peckhaus, “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, vol. 18. pp. 115–120 (Essay Review), 1997.
LibreCat
1997 | Book Review | LibreCat-ID: 18203
V. Peckhaus, “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. 863.03005]. 1997.
LibreCat
1997 | Book Review | LibreCat-ID: 18208
V. Peckhaus, “Benmakhlouf, Ali, Gottlob Frege. Logicien philosophe, Presses Universitaires de France: Paris 1997,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 873.01015]. 1997.
LibreCat
1997 | Book (Editor) | LibreCat-ID: 18551
B. Frank, T. Haye, and D. Tophinke, Eds., Gattungen mittelalterlicher Schriftlichkeit. Tübingen: Narr, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 18575
C. Sohler and M. Denny, “Encoding a Triangulation as a Permutation of its Point Set,” in Proceedings of the 9th Canadian Conference on Computational Geometry, 1997, pp. 39–43.
LibreCat
1997 | Journal Article | LibreCat-ID: 18626
A. Schindlmayr, “Excitons with anisotropic effective mass,” European Journal of Physics, vol. 18, no. 5, pp. 374–376, 1997.
LibreCat
| Files available
| DOI
1997 | Report | LibreCat-ID: 18955
W.-B. Strothmann and T. Lukovszki, Decremental Biconnectivity on Planar Graphs. Paderborn, 1997.
LibreCat
| Files available
1997 | Journal Article | LibreCat-ID: 19410
N. O. Eke, “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, vol. 71, no. H. 4, pp. 701–723, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19636
W. Dittrich, Communication and I/O Efficient Parallel Data Structures. Universität Paderborn, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 19631
A. Bäumker, Communication Efficient Parallel Searching. Universität Paderborn, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 20739
O. Hahn and G. Meschut, “Bonding of Aluminium Profile joints,” in Tagungsband zur Swiss Bonding ´97, Rapperswil (CH), 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 10609
M. Platzner, B. Rinner, and R. Weiss, “A Computer Architecture to Support Qualitative Simulation in Industrial Applications,” e & i Elektrotechnik und Informationstechnik, vol. 114, pp. 13–18, 1997.
LibreCat
1997 | Misc | LibreCat-ID: 13090
A. Hertwig, S. Hellebrand, and H.-J. Wunderlich, Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications. 3rd IEEE International On-Line Testing Workshop, Crete, Greece, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 13603
M. Platzner and L. Peters, “Fast Signature Segmentation on a Multi-DSP Architecture,” in Proceedings of the SPIE: Conference on Parallel and Distributed Methods for Image Processing, 1997, vol. 3166.
LibreCat
1997 | Book (Editor) | LibreCat-ID: 15611
R. Hagengruber, O. Stein, and S. Wedig, Eds., Begegnungen mit Philosophinnen : Seminar “Feministische Ethik” . Koblenz: Quast-Verlag, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 15034
S. Volbracht, G. Domik, K. Shahrbabaki, and G. Fels, “How effective are 3D display modes?,” in Proceedings of the ACM SIGCHI Conference on Human factors in computing systems, 1997, pp. 540–541.
LibreCat
1997 | Book Chapter | LibreCat-ID: 1718
D. Krimphove and A. Schollmeier, “Europäisches Wirtschaftsrecht,” in Bleckmann, Europarecht, 6th ed., Köln: Carl Heymanns Verlag KG, 1997, pp. 650–717.
LibreCat
1997 | Book Chapter | LibreCat-ID: 3029
J. Blömer, “Denesting by bounded degree radicals,” in Algorithms — ESA ’97, Berlin, Heidelberg: Springer Berlin Heidelberg, 1997, pp. 53–63.
LibreCat
| Files available
| DOI
1997 | Journal Article | LibreCat-ID: 3067
T. Gries and S. Jungblut, “Catching-up and Structural Change,” Economia Internationale, vol. 50, no. 4, pp. 3–24, 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 5607
C. Brewster, L. Mayne, M. A. I. Valverde, and R. Kabst, “Flexibility in European Labour Markets? The Evidence Renewed,” Employee Relations, vol. 6, pp. 509–518, 1997.
LibreCat
1997 | Dissertation | LibreCat-ID: 7348
H.-H. Kremer, Medienentwicklung - Theoretische Modellierung und fachdidaktisch ausgerichtete Anwendung. Köln, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8106
S. Krauter and H. Duwe, “Das ECO–PV–System,” in Zwölftes Nationales Symposium für Photovoltaische Energiewandlung, Staffelstein, 26.–28. Februar 1997, Band 1, S. 297–302., 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8904
W. Sextro, K. Popp, and I. Wolter, “Improved reliability of bladed disks due to friction dampers,” in The 1997 International Gas Turbine \& Aeroengine Congress \& Exposition, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
F. Gadducci and R. Heckel, “A 2-Categorical Presentation of Distributed Graph Transformation,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 17496
V. Peckhaus, “Formalistische Taschenspielertricks? Frege und Hankel,” in Frege in Jena. Beiträge zur Spurensicherung, vol. 2, G. Gabriel and W. Kienzler, Eds. Würzburg: Königshausen & Neumann, 1997, pp. 111–122.
LibreCat
1997 | Book Review | LibreCat-ID: 18209
V. Peckhaus, “Ibarra, Andoni/Mormann, Thomas, ‘Structural Analogies between Mathematical and Empirical Theories’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 31–46,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 874.00011]. 1997.
LibreCat
1997 | Book Review | LibreCat-ID: 18204
V. Peckhaus, “Hintikka, Jaakko, The Principles of Mathematics Revisited, Cambridge University Press: Cambridge 1996,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 869.03003]. 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 19411
N. O. Eke, “„Sein Leben machen / ist nicht, / sein Glück machen / mein Herr“. Zum Verhältnis von Ästhetik und Politik in Herta Müllers Nachrichten aus Rumänien,” in Jahrbuch der Deutschen Schillergesellschaft, vol. 41, W. Barner, W. Müller-Seidel, and U. Ott, Eds. Stuttgart: Metzler, 1997, pp. 481–509.
LibreCat
1997 | Encyclopedia Article | LibreCat-ID: 19480
N. O. Eke, “Bürgerliches Trauerspiel,” in Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, H. Brunner and R. Moritz, Eds. Berlin, 1997, pp. 58–60.
LibreCat
1997 | Encyclopedia Article | LibreCat-ID: 19485
N. O. Eke, “Tragödie,” in Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, H. Brunner and R. Moritz, Eds. Berlin, 1997, pp. 347–350.
LibreCat
1997 | Dissertation | LibreCat-ID: 19637
W.-B. Strothmann, Bounded Degree Spanning Trees. Universität Paderborn, 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 11855
D. Langmann, F. Wuppermann, R. Haeb-Umbach, A. Fischer, and T. Eisele, “Investigation of Acoustic Front Ends for Speaker-Independent Speech Recognition in the Car,” in Aachener Kolloquium on Signal Theory, 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 11766
S. Gamm, R. Haeb-Umbach, and D. Langmann, “The development of a command-based speech interface for a telephone answering machine,” Speech Communication, 1997.
LibreCat
1997 | Misc | LibreCat-ID: 13089
K.-H. Tsai, S. Hellebrand, J. Rajski, and M. Marek-Sadowska, STARBIST: Scan Autocorrelated Random Pattern Generation. 4th IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 13604
T. Röwekamp, M. Platzner, and L. Peters, “Specialized Architectures for Optical Flow Computation: A Performance Comparison of ASIC, DSP, and Multi-DSP,” in Proceedings of the 8th International Conference on Signal Processing Applications & Technology (ICSPAT), 1997, pp. 829–833.
LibreCat
1997 | Book | LibreCat-ID: 1606
D. Krimphove, “Wir haben ein Gesetz...” rechtliche Anmerkungen zum Strafverfahren gegen Jesus. Münster: Lit Verlag, 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 1719
D. Krimphove, “Der Gutgläubige Erwerb von Fahrnis in den Rechtsordnungen Europas -Ein Beitrag zur Rechtsvergleichung und Europäischen Rechtsharmonisierung unter Beachtung der Grundsätze der ökonomischen Analyse des ‘Europäischen Sachenrechts’-,” in Festschrift für Axel Hunscha , vol. Nr. 26 / 97, Berlin: FHTW Schriftenreihe, 1997, pp. 109–150.
LibreCat
1997 | Conference Paper | LibreCat-ID: 2440
J. Simon and O. Heinz, “SCI multiprocessor PC cluster in a WindowsNT environment,” in Proc. Workshops im Rahmen der 14. ITG/GI-Fachtagung Architektur von Rechensystemen, 1997, pp. 189–199.
LibreCat
1997 | Book | LibreCat-ID: 6752
M. Tönnies, Samuel Beckett’s Dramatic Strategy. Audience Laughter and the Postmodernist Debate. Trier: WVT, 1997.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
H. Ehrig et al., “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach,” in Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, Singapore: World Scientific, 1997, pp. 247–312.
LibreCat
1997 | Journal Article | LibreCat-ID: 8107
S. Krauter, “Lernen über das World–Wide–Web am Beispiel der Sonnenenergienutzung,” Telelearning: Aufgabe und Chance für Bildung und Gesellschaft, pp. 149–150, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
F. Gadducci, R. Heckel, and M. Koch, “Combining Graph Transformations with Temporal Logic,” in Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8900
T. Hemsel and J. Wallaschek, “Ultrasonic motors for linear positioning tasks in automobiles,” in Proceedings of the 30th International Symposium on Automotive Technology \& Automation (ISATA), 1997, pp. 631–637.
LibreCat
1997 | Conference Paper | LibreCat-ID: 16893
S. Thies, B. Gutkauf, and G. Domik-Kienegger, “Demo eines Intelligenten Diagramm Assistenten (IDIAS),” in Proceedings 5. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen, Saarbrücken, 1997.
LibreCat