Nikolai Kossovski

According to our database, Nikolai Kossovski authored at least 3 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2001

Computational complexity of quantifier-free negationless theory of field of rational numbers.

Nikolai Kossovski

Ann. Pure Appl. Log., 2001

1999

The Propositional n-Agent Logic.

Nikolai Kossovski, Artem Tishkov, V. Iaroslavski

Proceedings of the 1st International Workshop of Central and Eastern Europe on Multi-Agent Systems, 1999

1998

Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability.

Nikolai Kossovski, Artem Tishkov

Sci. Ann. Cuza Univ., 1998