Simon Santschi

Available identifiers

zbMath Open santschi.simonMaRDI QIDQ2122218

List of research outcomes

Publication	Date of Publication	Type
Interpolation in linear logic and related systems	2024-11-12	Paper
Deciding Equations in the Time Warp Algebra	2024-03-11	Paper
Semilinear idempotent distributive \(\ell\)-monoids	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	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