Search results
From MaRDI portal
- observability 2020-07-02 Paper The category of implicative algebras and realizability 2020-05-04 Paper Realizability in ordered combinatory algebras with...10 bytes (20 words) - 22:27, 11 December 2023
- 2016-02-19 Paper Symmetric Pairs in Yetter–Drinfeld Categories over Weak Hopf Algebras 2015-10-23 Paper General holographic superconductor models in AdS BTZ black...10 bytes (17 words) - 02:39, 10 December 2023
- Paper Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories 2008-03-25 Paper Some Varieties of Equational Logic 2007-09-07...10 bytes (19 words) - 00:56, 10 December 2023
- 2023-02-03 Paper String diagram rewrite theory II: Rewriting with symmetric monoidal structure 2022-12-20 Paper Relating two categorical models of term...10 bytes (17 words) - 05:33, 7 October 2023
- theory II: Rewriting with symmetric monoidal structure 2022-12-20 Paper Categorical Quantum Mechanics I: Causal Quantum Processes 2022-10-11 Paper The CBH...10 bytes (16 words) - 06:31, 7 October 2023
- 2023-02-03 Paper String diagram rewrite theory II: Rewriting with symmetric monoidal structure 2022-12-20 Paper https://portal.mardi4nfdi.de/entity/Q5079733...10 bytes (16 words) - 07:03, 7 October 2023
- diagram rewrite theory II: Rewriting with symmetric monoidal structure 2022-12-20 Paper Bisimilarity of open terms in stream GSOS 2022-11-04 Paper https://portal...10 bytes (16 words) - 07:03, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q2766553 2002-06-17 Paper Symmetric monoidal and cartesian double categories as a semantic framework for tile logic 2002-05-14...10 bytes (18 words) - 19:24, 9 December 2023
- universal property of Leinster's operad for weak ω-categories 2009-11-19 Paper Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs 2009-10-22 Paper...10 bytes (17 words) - 18:29, 6 October 2023
- Causal Quantum Processes 2022-10-11 Paper https://portal.mardi4nfdi.de/entity/Q5869710 2022-09-28 Paper DisCoPy: Monoidal Categories in Python 2022-01-10...10 bytes (17 words) - 05:34, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q2766553 2002-06-17 Paper Symmetric monoidal and cartesian double categories as a semantic framework for tile logic 2002-05-14...10 bytes (17 words) - 11:15, 24 September 2023
- Reflection in conditional rewriting logic 2002-08-13 Paper Specification of real-time and hybrid systems in rewriting logic 2002-08-13 Paper Symmetric monoidal...10 bytes (17 words) - 11:55, 11 December 2023
- Quasitriangular Hopf group algebras and braided monoidal categories 2015-05-06 Paper On rigidity phenomena of compact surfaces in homogeneous $3$-manifolds 2015-04-22...10 bytes (17 words) - 14:34, 28 January 2024
- forging process 2010-08-11 Paper Modelling of MHS cellular solid in large strains 2010-08-11 Paper Validation of stresses and stress intensity factor in a notched...10 bytes (15 words) - 02:18, 25 September 2023
- irrelevant variables in possible proxies for the latent factors in macroeconomics and finance 2019-03-11 Paper Paired-domination in claw-free graphs with...10 bytes (15 words) - 21:06, 24 September 2023
- entrainment defects in the shape casting process 2016-12-07 Paper Variable sampling inspection for resubmitted lots based on process capability index \(C_{pk}\)...10 bytes (15 words) - 00:48, 25 September 2023
- Paper Effective choice in all the symmetric \(2\times 2\) games 2013-11-25 Paper Linking molecular and population processes in mathematical models of quorum...10 bytes (16 words) - 12:14, 7 October 2023
- bicategories of processes; circuit design; process in symmetric monoidal category; suspension-loop construction Mathematics Subject Classification ID DB lookup...15 bytes (62 words) - 10:22, 30 January 2024
- https://arxiv.org/abs/0901.2434 zbMATH Keywords Markov process; compositionality; symmetric monoidal category; probabilistic automaton; Frobenius algebra; compact...15 bytes (98 words) - 09:20, 30 January 2024
- February 1997 Published in: Theoretical Computer Science (Search for Journal in Brave) zbMATH Keywords symmetric monoidal category; axiomatic theory; concatenable...15 bytes (56 words) - 10:21, 30 January 2024