Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.
Mykola S. Nikitchenko, Valentyn G. Tymofieiev
VenueNationalICTERI
Year2012
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/NikitchenkoT12a ↗
Browse the full ICTERI paper archive.