Treffer 1 - 3 von 3 für Suche 'Massacrier, Tanguy', Suchdauer: 0,29s Treffer weiter einschränken
  1. 1
    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:
  2. 2
    Single-set cubical categories and their formalisation with a proof assistant (extended version)

    Single-set cubical categories and their formalisation with a proof assistant (extended version) von Malbos, Philippe, Massacrier, Tanguy, Struth, Georg

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Single-set cubical categories and their formalisation with a proof assistant (extended version)

    Single-set cubical categories and their formalisation with a proof assistant (extended version) von Malbos, Philippe, Massacrier, Tanguy, Struth, Georg

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: