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.

14239 Publications


1997 | Book Chapter | LibreCat-ID: 7517
Corradini, Andrea, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach.” In Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, 163–245. Singapore: World Scientific, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7841
Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” In Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), 219–28. LNCS. London, UK: Springer, 1997. http://dx.doi.org/10.1007/BFb0029965.
LibreCat | DOI
 

1997 | Conference (Editor) | LibreCat-ID: 7795
Engels, Gregor, ed. Themenheft: Softwaretechnik. Vol. 12. Informatik: Forschung Und Entwicklung. Berlin/Heidelberg: Springer, 1997. http://dx.doi.org/10.1007/s004500050085.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7839
Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A View-Oriented Approach to System Modelling Using Graph Transformations.” In Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), edited by M. Jazayeri and H. Schauer, 1301:327–43. Berlin/Heidelberg: Springer, 1997. http://dx.doi.org/10.1007/3-540-63531-9.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 8902
Popp, Karl, and Walter Sextro. “Schwingungsverhalten von Verstimmten Beschaufelungen Mit Reibelementen.” In Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, 131–42. Frankfurt am Main, Germany, 1997.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 8421
Euler, D., H.-Hugo Kremer, and M. Theis. “Grundfragen der Berufsbildung.” In Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, edited by D. Euler, H.-H. Kremer, and M. Theis, 3rd ed., 13–42. Düsseldorf, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8279
Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 16535
Dellnitz, Michael, and Oliver Junge. “Almost Invariant Sets in Chua’s Circuit.” International Journal of Bifurcation and Chaos, 1997, 2475–85. https://doi.org/10.1142/s0218127497001655.
LibreCat | DOI
 

1997 | Book Review | LibreCat-ID: 17780
Peckhaus, Volker. “Witold Marciszewski/Roman Murawski. Mechanization of Reasoning in a Historical Perspective. Amsterdam/Atlanta, GA: Rodopi 1995. (Poznań Studies in the Philosophy of the Sciences and the Humanities; 43).” Modern Logic, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 17494
Peckhaus, Volker. “The Way of Logic into Mathematics.” Theoria. Segunda Época (Seccion Monografica Sobre La Historia de La Lógica Matemática, Hg. v. Luis Vega Reñon) 12, no. 1 (1997): 39–64.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed