Article,

Reducible Theories and Amalgamations of Models.

, and .
ACM Trans. Comput. Log., 24 (1): 9:1-9:24 (January 2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews