Items where Author is "Kamm, Matteo"
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. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.