Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level.

Mykola S. Nikitchenko, Valentyn G. Tymofieiev

Browse the full ICTERI paper archive.