Reducible Theories and Amalgamations of Models

Bahar Aameri, Michael Grüninger. Reducible Theories and Amalgamations of Models. ACM Trans. Comput. Log., 24(1), January 2023. [doi]

Authors

Bahar Aameri

This author has not been identified. Look up 'Bahar Aameri' in Google

Michael Grüninger

This author has not been identified. Look up 'Michael Grüninger' in Google