Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
M3: Model theory, Model generation & Model analysis
M3: Model theory, Model generation & Model analysis

We are looking at high-level models that may involve reasonig with rich background universes or combinations of different theories, that arise in various practical applications. The mission is to investigate: 1) What is the appropriate model theory? 2) How can models be generated? 3) How can models be analyzed?

Publications