Open Computer Science (Oct 2012)

Satisfiability in composition-nominative logics

Nikitchenko Mykola,
Tymofieiev Valentyn

Affiliations

Nikitchenko Mykola: Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, 64, Volodymyrska Street, 01601, Kyiv, Ukraine
Tymofieiev Valentyn: Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, 64, Volodymyrska Street, 01601, Kyiv, Ukraine

DOI: https://doi.org/10.2478/s13537-012-0027-3
Journal volume & issue: Vol. 2, no. 3
pp. 194 – 213

Abstract

No abstracts available.

Published in Open Computer Science

ISSN: 2299-1093 (Online)
Publisher: De Gruyter
Country of publisher: Poland
LCC subjects: Science: Mathematics: Instruments and machines: Electronic computers. Computer science
Website: https://www.degruyter.com/view/j/comp

About the journal