Treffer 1 - 20 von 281 für Suche 'Struth, Georg', Suchdauer: 0,88s Treffer weiter einschränken
  1. 1
    Catoids and modal convolution algebras

    Catoids and modal convolution algebras von Fahrenberg, Uli, Johansen, Christian, Struth, Georg, Ziemiański, Krzysztof

    Veröffentlicht in Algebra universalis

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    ALGEBRAIC COHERENT CONFLUENCE AND HIGHER GLOBULAR KLEENE ALGEBRAS

    ALGEBRAIC COHERENT CONFLUENCE AND HIGHER GLOBULAR KLEENE ALGEBRAS von Calk, Cameron, Goubault, Eric, Malbos, Philippe, Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    CONVOLUTION ALGEBRAS: RELATIONAL CONVOLUTION, GENERALISED MODALITIES AND INCIDENCE ALGEBRAS

    CONVOLUTION ALGEBRAS: RELATIONAL CONVOLUTION, GENERALISED MODALITIES AND INCIDENCE ALGEBRAS von Dongol, Brijesh, Hayes, Ian J., Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Concurrent Dynamic Algebra

    Concurrent Dynamic Algebra von Furusawa, Hitoshi, Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Taming Multirelations

    Taming Multirelations von Furusawa, Hitoshi, Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Relational Formalisations of Compositions and Liftings of Multirelations

    Relational Formalisations of Compositions and Liftings of Multirelations von Furusawa, Hitoshi, Kawahara, Yasuo, Struth, Georg, Tsumagari, Norihiro


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

    Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of K... von Berghammer, R, Möller, Bernhard, Struth, Georg


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    On the expressive power of Kleene algebra with domain

    On the expressive power of Kleene algebra with domain von Struth, Georg

    Veröffentlicht in Information processing letters

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Hoare Semigroups

    Hoare Semigroups von STRUTH, GEORG


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Algebraic Notions of Termination

    Algebraic Notions of Termination von Jules, Desharnais, Moeller, Bernhard, Georg, Struth


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Single-Set Cubical Categories and Their Formalisation with a Proof Assistant

    Single-Set Cubical Categories and Their Formalisation with a Proof Assistant von Malbos, Philippe, Massacrier, Tanguy, Struth, Georg

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

    Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings von Höfner, Peter, Pous, Damien, Struth, Georg

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Modal algebra of multirelations

    Modal algebra of multirelations von Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Probabilistic Concurrent Kleene Algebra

    Probabilistic Concurrent Kleene Algebra von McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Internal axioms for domain semirings

    Internal axioms for domain semirings von Desharnais, Jules, Struth, Georg

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Posets with interfaces as a model for concurrency

    Posets with interfaces as a model for concurrency von Fahrenberg, Uli, Johansen, Christian, Struth, Georg, Ziemiański, Krzysztof

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Domain Axioms for a Family of Near-Semirings

    Domain Axioms for a Family of Near-Semirings von Desharnais, Jules, Struth, Georg


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Predicate Transformer Semantics for Hybrid Systems

    Predicate Transformer Semantics for Hybrid Systems von Huerta y Munive Jonathan Julián, Struth Georg

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Determinism of multirelations

    Determinism of multirelations von Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Convolution and concurrency

    Convolution and concurrency von Cranch, James, Doherty, Simon, Struth, Georg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: