Treffer 1 - 20 von 147 für Suche 'Walter Guttmann', Suchdauer: 0,77s Treffer weiter einschränken
  1. 1
    An algebraic framework for minimum spanning tree problems

    An algebraic framework for minimum spanning tree problems von Guttmann, Walter

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings

    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings von Desharnais, Jules, Guttmann, Walter, Joosten, Stef

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings

    Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Verifying minimum spanning tree algorithms with Stone relation algebras

    Verifying minimum spanning tree algorithms with Stone relation algebras von Guttmann, Walter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A framework for automating security analysis of the internet of things

    A framework for automating security analysis of the internet of things von Ge, Mengmeng, Hong, Jin B., Guttmann, Walter, Kim, Dong Seong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    An example of goal-directed, calculational proof

    An example of goal-directed, calculational proof von BACKHOUSE, ROLAND CARL, GUTTMANN, WALTER, WINTER, MICHAEL


    Volltext
    Artikel

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

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Dependences Between Domain Constructions in Heterogeneous Relation Algebras

    Dependences Between Domain Constructions in Heterogeneous Relation Algebras von Guttmann, Walter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Algebras for correctness of sequential computations

    Algebras for correctness of sequential computations von Guttmann, Walter

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Extended designs algebraically

    Extended designs algebraically von Guttmann, Walter

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Second-Order Properties of Undirected Graphs

    Second-Order Properties of Undirected Graphs von Guttmann, Walter


    Volltext
    Buchkapitel

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

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    An algebraic approach to computations with progress

    An algebraic approach to computations with progress von Guttmann, Walter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Algebras for iteration and infinite computations

    Algebras for iteration and infinite computations von Guttmann, Walter

    Veröffentlicht in Acta informatica

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Infinite executions of lazy and strict computations

    Infinite executions of lazy and strict computations von Guttmann, Walter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras

    Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras von Guttmann, Walter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL

    Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL von Guttmann, Walter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Multirelations with infinite computations

    Multirelations with infinite computations von Guttmann, Walter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Connecting Fixpoints of Computations with Strict Progress

    Connecting Fixpoints of Computations with Strict Progress von Guttmann, Walter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    An algebraic approach to multirelations and their properties

    An algebraic approach to multirelations and their properties von Berghammer, Rudolf, Guttmann, Walter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: