Simon Santschi
From MaRDI portal
Person:2122218
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Interpolation in linear logic and related systems ACM Transactions on Computational Logic | 2024-11-12 | Paper |
| Deciding Equations in the Time Warp Algebra Logical Methods in Computer Science | 2024-03-11 | Paper |
| Semilinear idempotent distributive \(\ell\)-monoids Journal of Pure and Applied Algebra | 2024-02-23 | Paper |
| Interpolation and the Exchange Rule | 2023-10-23 | Paper |
| Interpolation in Linear Logic and Related Systems | 2023-05-08 | Paper |
| Time warps, from algebra to algorithms | 2023-03-30 | Paper |
| From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again Journal of Algebra | 2022-04-06 | Paper |
| Time Warps, from Algebra to Algorithms | 2021-06-11 | Paper |
| From distributive l-monoids to l-groups, and back again | 2021-02-27 | Paper |
| Deciding Equations in the Time Warp Algebra | N/A | Paper |
| Equational theories of idempotent semifields | N/A | Paper |
| Interpolation in H\'ajek's Basic Logic | N/A | Paper |
Research outcomes over time
This page was built for person: Simon Santschi
