Lucca Tiemens

According to our database, Lucca Tiemens authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids.

Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020