Skip to content
BY-NC-ND 3.0 license Open Access Published by De Gruyter Open Access November 4, 2012

Satisfiability in composition-nominative logics

Mykola Nikitchenko and Valentyn Tymofieiev
From the journal Open Computer Science
Scroll Up Arrow