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.
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.