Search Results - Struth, Georg

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Cover Image

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

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

    Save to List
    Saved in:
  2. 2
    Cover Image

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

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

    Save to List
    Saved in:
  3. 3
    Cover Image

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

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

    Save to List
    Saved in:
  4. 4
    Cover Image

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

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

    Save to List
    Saved in:
  5. 5
    Cover Image

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

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

    Save to List
    Saved in:
  6. 6
    Cover Image

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

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

    Save to List
    Saved in:
  7. 7
    Cover Image

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

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

    Save to List
    Saved in:
  8. 8
    Cover Image

    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

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

    Save to List
    Saved in:

Search Tools: