Résultats de la recherche - Struth, Georg

  • Résultat(s) 1 - 8 résultats de 8
Affiner les résultats
  1. 1
    Image de couverture de livre

    Presheaf automata Autoría: Struth, Georg, Ziemiański, Krzysztof

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    Interacting Monoidal Structures with Applications in Computing Autoría: Cranch, James, Struth, Georg

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

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

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Image de couverture de livre

    Generalised Möbius Categories and Convolution Kleene Algebras Autoría: Cranch, James, Struth, Georg, Wagemaker, Jana

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Image de couverture de livre

    Cubical coherent confluence, $ω$-groupoids and the cube equation Autoría: Malbos, Philippe, Massacrier, Tanguy, Struth, Georg

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  6. 6
    Image de couverture de livre

    Kleene Theorem for Higher-Dimensional Automata Autoría: Fahrenberg, Uli, Johansen, Christian, Struth, Georg, Ziemiański, Krzysztof

    Publié 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  7. 7
    Image de couverture de livre

    Higher Catoids, Higher Quantales and their Correspondences Autoría: Calk, Cameron, Malbos, Philippe, Pous, Damien, Struth, Georg

    Publié 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Image de couverture de livre

    Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL Autoría: Munive, Jonathan Julián Huerta y, Foster, Simon, Gleirscher, Mario, Struth, Georg, Laursen, Christian Pardillo, Hickman, Thomas

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: