Sign in

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids.

Lucca TiemensDana S. ScottChristoph BenzmüllerMiroslav Benda
Published in: RAMiCS (2020)
Keyphrases