Items where Author is "Kamm, Matteo"

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

Thesis

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. Other thesis, HSR Hochschule für Technik Rapperswil.

This list was generated on Fri Mar 20 11:32:41 2026 UTC.