Suchergebnisse - Kreowski, Hans-Jörg

Hans-Jörg Kreowski

Hans-Jörg Kreowski (* 10. August 1949) ist ein deutscher Informatiker und Professor an der Universität Bremen. Sein Forschungsschwerpunkt liegt in der theoretischen Informatik, insb. im Bereich der Graphentransformation und der algebraischen Spezifikation. Er ist außerdem im Vorstand des Forums InformatikerInnen für Frieden und gesellschaftliche Verantwortung (FIfF). Veröffentlicht in Wikipedia
Treffer filtern
  1. 1
    Buchumschlag

    Informatik zwischen Wissenschaft und Gesellschaft: Zur Erinnerung an Reinhold Franck Proceedings
    von Kreowski, Hans-Jörg

    Veröffentlicht 1992
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Algebraische Implementierung abstrakter Datentypen
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Ein Pumpinglemma für kanten-kontextfreie Graph-Sprachen
    von Kreowski, Hans-Jörg

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Some remarks concerning correct specification and implementation of abstract data types
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Abstract hierarchical graph transformation
    von Busatto, Giorgio 1969-, Kreowski, Hans-Jörg, Kuske, Sabine

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Logische Grundlagen der Informatik
    von Kreowski, Hans-Jörg

    Veröffentlicht 1991
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Some algebraic concepts of the specification language SEGRAS and their initial semantics
    von Kreowski, Hans-Jörg, Schmidt, Heinz W.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Manipulationen von Graphmanipulationen
    von Kreowski, Hans-Jörg

    Veröffentlicht 1977
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Orejas, Fernando

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Manipulationen von Graphmanipulationan
    von Kreowski, Hans-Jörg

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Künstliche Intelligenz zieht in den Krieg
    von Kreowski, Hans-Jörg 1949-, Lye, Aaron, Reinhold, Thomas, Schwarz, Elke, Marischka, Christoph, Pletsch, Marius

    Veröffentlicht 2021
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Logische Grundlagen der Informatik
    von Kreowski, Hans-Jörg

    Veröffentlicht 2020
    Elektronisch E-Book


    Gespeichert in:
  13. 13
    Buchumschlag

    Characteristics of graph languages generated by edge replacement
    von Habel, Annegret, Kreowski, Hans-Jörg

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Algebraic Implementation of abstract data types: concept, syntax, semantics and correctness
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    [Kumulative Habilitationsschrift]
    von Kreowski, Hans-Jörg

    Veröffentlicht 1981
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Algebraic implementation of abstract data types: concept, syntax, semantics and correctness
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg, Padawitz, Peter

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Church-Rosser-Theorems leading to parallel and canonical derivations for graph-grammars
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Categorical Theory of graph grammars
    von Ehrig, Hartmut 1944-2016, Kreowski, Hans-Jörg

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Some algebraic Concepts of a Petri-net based specification language and their initial semantics
    von Schmidt, Heinz-Wilhelm, Kreowski, Hans-Jörg

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Manipulation von Graphmanipulationen
    von Kreowski, Hans-Jörg

    Veröffentlicht 1977
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: