학술논문
The complexity of identifying characteristic formulae
Document Type
Article
Source
In Journal of Logical and Algebraic Methods in Programming April 2020 112
Subject
Language
ISSN
2352-2208