Login / Signup

Preservation by fibring of the finite model property.

Marcelo E. ConiglioAmílcar SernadasCristina Sernadas
Published in: J. Log. Comput. (2011)
Keyphrases