Lucca Tiemens
Author
Alternate name Lucca Tiemens
Institution Technische Universität Berlin
Past institution Technische Universität Berlin
H-index: 2
I10-index:
Works count: 3
Citations count: 6
Computer-supported Exploration of a Categorical Axiomatization of Modeloids
2019 · Lucca Tiemens, Dana Scott, et al. · arXiv (Cornell University)
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids
2020 · Lucca Tiemens, Dana Scott, et al. · Lecture notes in computer science
Computer-supported Exploration of a Categorical Axiomatization of Modeloids
2019 · Lucca Tiemens, Dana Scott, et al. · arXiv (Cornell University)