Suchergebnisse - Martini, Alfio

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    Relating arrows between institutions in a categorical framework
    von Brito Martini, Alfio Ricardo de

    Veröffentlicht 1999
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Graph grammars: an introduction to the double pushout approach
    von Martini, Alfio, Ehrig, Hartmut 1944-2016, Nunes, Daltro

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A taste of categorical Petri nets
    von Ermel, Claudia, Martini, Alfio

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Category theory and the simply typed lambda-calculus
    von Martini, Alfio

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Transition specifications & the algebraic core of the Z notation
    von Große-Rhode, Martin, Martini, Alfio

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Elements of basic category theory
    von Martini, Alfio

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Graph grammers: an introduction to the double pushout approach
    von Martini, Alfio

    Veröffentlicht 1996
    Buch


    Gespeichert in:

Suchwerkzeuge: