Person:6061672

From MaRDI portal

Available identifiers

zbMath Open schmid.toddMaRDI QIDQ6061672

List of research outcomes





PublicationDate of PublicationType
On star expressions and completeness theorems2024-12-17Paper
Fractals from regular behaviours2024-11-26Paper
Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity2024-11-14Paper
Processes parametrised by an algebraic theory2024-06-24Paper
How to Write a Coequation ((Co)algebraic pearls)2023-12-08Paper
A complete inference system for skip-free guarded Kleene algebra with tests2023-11-24Paper
Presenting with Quantitative Inequational Theories2022-07-23Paper
Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras2019-05-28Paper

Research outcomes over time

This page was built for person:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6061672&oldid=37697329"
Powered by MediaWiki