Axiomatizability of positive algebras of binary relations

By H. Andréka, S. Mikulás. 2011

54 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/22eca628d73bb315e7a108a25ce3d86e55f29b7d