Items where Author is "Marti, Mike"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 2.

Kamm, Matteo and Marti, Mike (2019) The Sequent Calculus Calculator. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Kamm, Matteo and Marti, Mike (2018) JavaScript to WebAssembly Cross Compiler. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

This list was generated on Sun Dec 14 17:50:50 2025 UTC.