Login / Signup

Containment logics: Algebraic Counterparts and Reduced Models.

Stefano BonzioMichele Pra Baldi
Published in: J. Log. Comput. (2022)
Keyphrases