Resultados de búsqueda - Struth, Georg

Presheaf automata por Struth, Georg, Ziemiański, Krzysztof

Enlace del recurso

Interacting Monoidal Structures with Applications in Computing por Cranch, James, Struth, Georg

Enlace del recurso

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

Enlace del recurso

Generalised Möbius Categories and Convolution Kleene Algebras por Cranch, James, Struth, Georg, Wagemaker, Jana

Enlace del recurso

Cubical coherent confluence, $ω$-groupoids and the cube equation por Malbos, Philippe, Massacrier, Tanguy, Struth, Georg

Enlace del recurso

Kleene Theorem for Higher-Dimensional Automata por Fahrenberg, Uli, Johansen, Christian, Struth, Georg, Ziemiański, Krzysztof

Enlace del recurso

Higher Catoids, Higher Quantales and their Correspondences por Calk, Cameron, Malbos, Philippe, Pous, Damien, Struth, Georg

Enlace del recurso

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

Enlace del recurso