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.

14340 Publications


1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, Gregor, Hartmut Ehrig, Grzegorz Rozenberg, and Andrzej Skowron, eds. Special Issue on Graph Transformations. Vol. 26. Fundamenta Informaticae. Amsterdam: IOS Press, 1996.
LibreCat
 

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

1996 | Journal Article | LibreCat-ID: 7405
Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. “Horizontal and Vertical Structuring of Typed Graph Transformation Systems.” Mathematical Structures in Computer Science 6, no. 6 (1996): 613–48.
LibreCat
 

1996 | Report | LibreCat-ID: 8198
Busatto, Giorgio, and Gregor Engels. 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, Stefan. “Lernen Im Internet Am Beispiel Der Solarenergie.” In Bildung Im Netz, edited by D. Beste and M. Kälke, 115–20. Düsseldorf: VDI–Verlag, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
Heckel, Reiko, Mirko Conrad, Gottfried Egger, and Jörg Hiemer. “Automatic Integration of Safety Invariants into Z Specifications.” In Proceedings of the Workshop on Tools for System Development and Verifcation, 1:70–83. Bremen, Germany: Shaker Verlag, 1996.
LibreCat | Download (ext.)
 

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

1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, Dima, Marek Karpinski, Friedhelm Meyer auf der Heide, and Roman Smolensky. “A Lower Bound for Randomized Algebraic Decision Trees.” In Proc. of 28th ACM-STOC, 65453:612–21. Lecture Notes in Computer Science. Eurographics Symposium on Parallel Graphics and Visualization, 1996.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17642
Peckhaus, Volker. “Wiener [Ludwig Christian].” In Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, edited by Jürgen Mittelstraß, 693–94. Stuttgart/Weimar: J.B. Metzler, 1996.
LibreCat
 

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

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed