gefundene Verfasser Poigne, A.

Poigné, Axel
Huwig, Hagen
Holenderski, Leszek
Maffeis, Oliver
Voss, Josef

Treffer 1 - 13 von 13 für Suche 'Poigne, A.', Suchdauer: 0,23s Treffer weiter einschränken
  1. 1
    On semantic algebras, higher order structures

    On semantic algebras, higher order structures von Poigné, Axel

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Higher order abstract data types cartesian closure versus calculus

    Higher order abstract data types cartesian closure versus calculus von Poigné, Axel

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien/von Axel Poigné

    Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien/von Axel Poigné von Poigné, Axel

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Programs over abstract data types on the implementation of abstract data types

    Programs over abstract data types on the implementation of abstract data types von Poigné, Axel, Voss, Josef

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien

    Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien von Poigné, Axel

    Veröffentlicht 1979
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Synchronous automata for reactive, real-time or embedded systems

    Synchronous automata for reactive, real-time or embedded systems von Maffeis, Oliver, Poigné, Axel

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Boolean automata for implementing pure esterel

    Boolean automata for implementing pure esterel von Poigné, Axel, Holenderski, Leszek

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Higher order abstract data types, Cartesian closure versus lambda-calculus

    Higher order abstract data types, Cartesian closure versus lambda-calculus von Poigné, Axel

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Programs over abstract data types

    Programs over abstract data types von Poigné, Axel

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Notes on operational semantics of abstract data types and programming languages

    Notes on operational semantics of abstract data types and programming languages von Poigné, Axel

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien

    Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien von Poigné, Axel

    Veröffentlicht 1979
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A note on incondistences caused by fixpoints in a cartesian closed category

    A note on incondistences caused by fixpoints in a cartesian closed category von Huwig, Hagen, Poigné, Axel

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A note on inconsistences caused by fixpoints in a Cartesian closed category

    A note on inconsistences caused by fixpoints in a Cartesian closed category von Huwig, Hagen, Poigné, Axel

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: