Algorithmic properties of structures and theories

The project "Algorithmic properties of structures and theories" was supported by the Lise Meitner program of the Austrian Science Fund FWF under the number M 1188.

Summary

List of publications supported by the project