Nikolai Kossovski

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2001

3 Nikolai Kossovski: Computational complexity of quantifier-free negationless theory of field of rational numbers. Ann. Pure Appl. Logic 113(1-3): 175-180 (2001)

1999

2 Nikolai Kossovski, Artem Tishkov, V. Iaroslavski: The Propositional n-Agent Logic. CEEMAS 1999

1998

1 Nikolai Kossovski, Artem Tishkov: Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability. Sci. Ann. Cuza Univ. 8: 114-120 (1998)

	2001
3		Nikolai Kossovski: Computational complexity of quantifier-free negationless theory of field of rational numbers. Ann. Pure Appl. Logic 113(1-3): 175-180 (2001)
	1999
2		Nikolai Kossovski, Artem Tishkov, V. Iaroslavski: The Propositional n-Agent Logic. CEEMAS 1999
	1998
1		Nikolai Kossovski, Artem Tishkov: Specifications by quantifier-free theory of superlinear inequalities and complexity of its decidability. Sci. Ann. Cuza Univ. 8: 114-120 (1998)

Coauthor Index

1 V. Iaroslavski [2]

2 Artem Tishkov [1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page