Login / Signup

A characterization theorem for injective model classes axiomatized by general rules.

Zhaohui ZhuRong ZhangShan Lu
Published in: Theor. Comput. Sci. (2006)
Keyphrases