Treffer 1 - 8 von 8 für Suche 'Stucke, Insa', Suchdauer: 0,38s Treffer weiter einschränken
  1. 1
    Cardinality of relations and relational approximation algorithms

    Cardinality of relations and relational approximation algorithms von Berghammer, Rudolf, Höfner, Peter, Stucke, Insa


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Cardinality of relations with applications

    Cardinality of relations with applications von Berghammer, Rudolf, Danilenko, Nikita, Höfner, Peter, Stucke, Insa

    Veröffentlicht in Discrete mathematics

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants

    Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants von Stucke, Insa


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Using relation-algebraic means and tool support for investigating and computing bipartitions

    Using relation-algebraic means and tool support for investigating and computing bipartitions von Berghammer, Rudolf, Stucke, Insa, Winter, Michael


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Investigating and Computing Bipartitions with Algebraic Means

    Investigating and Computing Bipartitions with Algebraic Means von Berghammer, Rudolf, Stucke, Insa, Winter, Michael


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Tool-Based Verification of a Relational Vertex Coloring Program

    Tool-Based Verification of a Relational Vertex Coloring Program von Berghammer, Rudolf, Höfner, Peter, Stucke, Insa


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Automated Verification of Relational While-Programs

    Automated Verification of Relational While-Programs von Berghammer, Rudolf, Höfner, Peter, Stucke, Insa


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Cardinalities of Finite Relations in Coq

    Cardinalities of Finite Relations in Coq von Brunet, Paul, Pous, Damien, Stucke, Insa


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: