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.
189 Publications
1996 | Conference Paper | LibreCat-ID: 7834
Synchronization of Views and Loose Semantics of Typed Graph Productions
H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.
LibreCat
H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.
1996 | Report | LibreCat-ID: 8197
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
1996 | Report | LibreCat-ID: 8200
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
1996 | Book Chapter | LibreCat-ID: 8419
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 2nd ed., Düsseldorf, 1996, pp. 19–94.
LibreCat
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 2nd ed., Düsseldorf, 1996, pp. 19–94.
1996 | Conference Paper | LibreCat-ID: 8274
Reuse of Software Process Fragments is Reuse of Software, too
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
LibreCat
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
1996 | Journal Article | LibreCat-ID: 9626
The Spectator as Participant: The Role of Integrating Audience Laughter in Samuel Beckett's Drama
M. Tönnies, Forum Modernes Theater 11 (1996) 185–196.
LibreCat
M. Tönnies, Forum Modernes Theater 11 (1996) 185–196.
1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
LibreCat
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
1996 | Book Chapter | LibreCat-ID: 17564
Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat
| DOI
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
1996 | Encyclopedia Article | LibreCat-ID: 17641
Weierstraß
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 535–536.
LibreCat
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 535–536.
1996 | Encyclopedia Article | LibreCat-ID: 17639
Verknüpfung
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 515–516.
LibreCat
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 515–516.
1996 | Book Review | LibreCat-ID: 17778
Günter Schenk: Leben und Werk des Halleschen Aufklärers Georg Friedrich Meier, 224 S. (Hallesche Gelehrtenbiographien), Hallescher Verlag, Halle/Saale 1994
V. Peckhaus, Philosophischer Literaturanzeiger 49 (1996) 248–251.
LibreCat
V. Peckhaus, Philosophischer Literaturanzeiger 49 (1996) 248–251.
1996 | Conference Abstract | LibreCat-ID: 17843
Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract]
V. Peckhaus, in: C. Binder (Ed.), IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, Wien, 1996, pp. 142–145.
LibreCat
V. Peckhaus, in: C. Binder (Ed.), IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, Wien, 1996, pp. 142–145.
1996 | Misc | LibreCat-ID: 17898
On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996
V. Peckhaus, On the Origins of the Word ‘Logicism’ [Ursprünglich Beitrag Für Russell-l], URL Erstellt 22.3.1996, 1996.
LibreCat
| Download (ext.)
V. Peckhaus, On the Origins of the Word ‘Logicism’ [Ursprünglich Beitrag Für Russell-l], URL Erstellt 22.3.1996, 1996.
1996 | Book Review | LibreCat-ID: 17913
Franchella, Miriam, “L.E.J. Brouwer: Toward Intuitionistic Logic”, Historia Mathematica 22 (1995), 304–322
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 833.01017] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 833.01017] (1996).
1996 | Book Review | LibreCat-ID: 17918
Czermak, Johannes (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Wittgenstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 1, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/I)
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.00022] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.00022] (1996).
1996 | Book Review | LibreCat-ID: 17920
Knobloch, Eberhard/Pieper, Herbert/Pulte, Helmut, „...das Wesen der reinen Mathematik verherrlichen“, Mathematische Semesterberichte 42 (1995), 99–132
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01009] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01009] (1996).
1996 | Book Review | LibreCat-ID: 17925
Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03005] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03005] (1996).
1996 | Book Review | LibreCat-ID: 17932
Bealer, George, “Toward a New Theory of Content”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.03022] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.03022] (1996).
1996 | Book Review | LibreCat-ID: 17937
Murawski, Roman, “Contributions of Polish Logicians to Decidability Theory”, Modern Logic 6 (1996), 37–66
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01010] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01010] (1996).
1996 | Book Review | LibreCat-ID: 17944
Grattan-Guinness, Ivor, “Structure-similarity as a Cornerstone of the Philosophy of Mathematics”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 91–111
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00005] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 848.00005] (1996).
1996 | Book Review | LibreCat-ID: 17949
Resnik, Michael D., “Applying Mathematics and the Indispensability Argument”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 115–131
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00014] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00014] (1996).
1996 | Habilitation | LibreCat-ID: 17444
Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995
V. Peckhaus, Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995, 1996.
LibreCat
V. Peckhaus, Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995, 1996.
1996 | Book Review | LibreCat-ID: 17956
Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21)
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00032] (1996).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00032] (1996).
1996 | Book Chapter | LibreCat-ID: 18428
Zwei Aspekte der Texttypik: Funktionalität und kulturelle Expressivität – ein historisches Fallbeispiel
D. Tophinke, in: S. Michaelis, D. Tophinke (Eds.), Texte – Konstitution, Verarbeitung, Typik, Lincom, München, 1996, pp. 101–116.
LibreCat
D. Tophinke, in: S. Michaelis, D. Tophinke (Eds.), Texte – Konstitution, Verarbeitung, Typik, Lincom, München, 1996, pp. 101–116.
1996 | Book | LibreCat-ID: 19135
Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition)
N.O. Eke, Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition), Igel, Paderborn, 1996.
LibreCat
N.O. Eke, Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition), Igel, Paderborn, 1996.
1996 | Journal Article | LibreCat-ID: 2182
Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, Theor. Comput. Sci. (1996) 245--281.
LibreCat
| DOI
F. Meyer auf der Heide, C. Scheideler, V. Stemann, Theor. Comput. Sci. (1996) 245--281.
1996 | Book | LibreCat-ID: 14894
An introduction to high-performance scientific computing
L.D. Fosdick, E.R. Jessup, C.J. Schauble, G. Domik, An Introduction to High-Performance Scientific Computing, MIT Press, 1996.
LibreCat
L.D. Fosdick, E.R. Jessup, C.J. Schauble, G. Domik, An Introduction to High-Performance Scientific Computing, MIT Press, 1996.
1996 | Conference Paper | LibreCat-ID: 16895
Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme
B. Gutkauf, G. Domik, in: Proceedings 4. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, Dortmund, Germany, 1996.
LibreCat
B. Gutkauf, G. Domik, in: Proceedings 4. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, Dortmund, Germany, 1996.
1996 | Dissertation | LibreCat-ID: 23922
Eine Methode zur Erstellung von Fertigungssteuerungsverfahren aus Bausteinen
W. Felser, Eine Methode zur Erstellung von Fertigungssteuerungsverfahren aus Bausteinen, Heinz Nixdorf Institut, Universität Paderborn, 1996.
LibreCat
W. Felser, Eine Methode zur Erstellung von Fertigungssteuerungsverfahren aus Bausteinen, Heinz Nixdorf Institut, Universität Paderborn, 1996.