Simon Santschi

Orcid: 0009-0003-9364-5149

According to our database¹, Simon Santschi authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Interpolation in Linear Logic and Related Systems.

[BibT_eX]

[DOI]

Wesley Fussner

Simon Santschi

ACM Trans. Comput. Log., 2024

Deciding Equations in the Time Warp Algebra.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2024

2023

Interpolation and the Exchange Rule.

[BibT_eX]

[DOI]

Wesley Fussner

George Metcalfe

Simon Santschi

CoRR, 2023

2021

Time Warps, from Algebra to Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Simon Santschi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...