cfaed Publications
A Framework for Modular and Compositional Reasoning in Kôika
Reference
Max Kurze, "A Framework for Modular and Compositional Reasoning in Kôika", Master's thesis, TU Dresden, Mar 2025. (3m5 thesis award)
Bibtex
@mastersthesis{kurze-diplom25,
title={A Framework for Modular and Compositional Reasoning in Kôika},
author={Max Kurze},
year={2025},
month=mar,
school={TU Dresden},
comment={3m5 thesis award},
}
title={A Framework for Modular and Compositional Reasoning in Kôika},
author={Max Kurze},
year={2025},
month=mar,
school={TU Dresden},
comment={3m5 thesis award},
}
Downloads
2503_Kurze_DA [PDF]
Permalink
https://esim-project.eu/publications?pubId=3841