Resultados de búsqueda - Struth, Georg

  • Mostrando 1 - 8 Resultados de 8
Limitar resultados
  1. 1
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

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

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

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

    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

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

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: