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.

14344 Publications


1996 | Conference (Editor) | LibreCat-ID: 7796
Engels G, Ehrig H, Rozenberg G, Skowron A, eds. Special Issue on Graph Transformations. Vol 26. Amsterdam: IOS Press; 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
Heckel R. Behavioral Constraints for Loose Graph Transformation Systems. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:12-13.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7405
Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science. 1996;6(6):613-648.
LibreCat
 

1996 | Report | LibreCat-ID: 8198
Busatto G, Engels G. Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8105
Krauter S. Lernen im Internet am Beispiel der Solarenergie. In: Beste D, Kälke M, eds. Bildung Im Netz. Düsseldorf: VDI–Verlag; 1996:115-120.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants into Z Specifications. In: Proceedings of the Workshop on Tools for System Development and Verifcation. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 8403
Kremer H-H. Existenzgründung. In: Kremer H-H, Stickling E, eds. Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing . ; 1996:1-30.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev D, Karpinski M, Meyer auf der Heide F, Smolensky R. A lower bound for randomized algebraic decision trees. In: Proc. of 28th ACM-STOC. Vol 65453. Lecture Notes in Computer Science. Eurographics Symposium on Parallel Graphics and Visualization; 1996:612-621.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17642
Peckhaus V. Wiener [Ludwig Christian]. In: Mittelstraß J, ed. Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z. Stuttgart/Weimar: J.B. Metzler; 1996:693-694.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
Peckhaus V. Die Wurzeln der deutschen Algebra der Logik. In: Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena. o.O.u.J. (Jena); 1996:196.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17919
Peckhaus V. Puhl, Klaus (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Witt-genstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 2, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/II). Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83600023]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17921
Peckhaus V. Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 83601018]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
Peckhaus V. Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84601006]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17926
Peckhaus V. Karl, Birgit, „Einführung des Begriffes ,Topologie‘ in die Mathematik durch J.B. Listing im Jahre 1847“, in: Czermak (Hg.) 1993 [9.4], 60–66. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84001019]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17933
Peckhaus V. Woleński, Jan, “Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas”, Modern Logic 5 (1995), 363–405. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84303001]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17938
Peckhaus V. Hintikka, Jaakko, “Why Parallel Processing?”, in: Casati/Smith/White (Hgg.) 1994 [9.39], 265–272. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84568039]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17945
Peckhaus V. MacLane, Saunders, “The Protean Character of Mathematics”, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 1–13. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84800006]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17952
Peckhaus V. Detlefsen, Michael, “The Kantian Character of Hilbert’s Formalism”, in: Czermak (Hg.) 1993 [9.4], 195–205. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 84900016]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
Fischer M, Rethmann J, Wachsmann A. A Realistic Cost Model for the Communication Time in Parallel Programs. In: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96). Amsterdam: IOS Press; 1996:13–27.
LibreCat | Files available
 

1996 | Misc | LibreCat-ID: 19047
Peckhaus V. Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996.; 1996.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed