Suchergebnisse - Struth, Georg

  • Treffer 1 - 8 von 8
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

    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

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: