New Constructions of Satisfaction Classes

By A. Enayat, Albert Visser. 2015

48 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/4158ea487599b85ddcad9299df6f4ab938935111