Login / Signup
Nikolai Kossovski
Publication Activity (10 Years)
Years Active: 1998-2001
Publications (10 Years): 0
</>
Publications
</>
Nikolai Kossovski
Computational complexity of quantifier-free negationless theory of field of rational numbers.
Ann. Pure Appl. Log.
113 (1-3) (2001)
Nikolai Kossovski
,
Artem Tishkov
,
V. Iaroslavski
The Propositional n-Agent Logic.
CEEMAS
(1999)
Nikolai Kossovski
,
Artem Tishkov
Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.
Sci. Ann. Cuza Univ.
8 (1998)