×
Edit Profile (opens in new tab)

Komendantsky, Vladimir

Co-Author Distance
Author ID: komendantsky.vladimir Recent zbMATH articles by "Komendantsky, Vladimir"
Published as: Komendantsky, Vladimir; Komendantskiy, Vladimir
Documents Indexed: 4 Publications since 2008
Reviewing Activity: 58 Reviews
Co-Authors: 4 Co-Authors with 3 Joint Publications
137 Co-Co-Authors

Co-Authors

1 single-authored
2 Konovalov, Olexandr
2 Linton, Stephen A.
1 Johann, Patricia
1 Komendantskaya, Ekaterina

Serials

Fields

4 Computer science (68-XX)
1 Category theory; homological algebra (18-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 6 times in 6 Documents Cited by ▼ Year ▼
Structural resolution for logic programming. Zbl 1407.68082
Johann, Patricia; Komendantskaya, Ekaterina; Komendantskiy, Vladimir
4
2015
View of computer algebra data from Coq. Zbl 1335.68232
Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve
1
2011
Interfacing Coq + SSReflect with GAP. Zbl 1294.68124
Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve
1
2012
Structural resolution for logic programming. Zbl 1407.68082
Johann, Patricia; Komendantskaya, Ekaterina; Komendantskiy, Vladimir
4
2015
Interfacing Coq + SSReflect with GAP. Zbl 1294.68124
Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve
1
2012
View of computer algebra data from Coq. Zbl 1335.68232
Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve
1
2011
all cited Publications top 5 cited Publications
all top 5

Cited by 14 Authors

3 Komendantskaya, Ekaterina
1 Ancona, Davide
1 Barrett, Clark W.
1 Dagnino, Francesco
1 Fu, Peng
1 Komendantsky, Vladimir
1 Konovalov, Olexandr
1 Kremer, Gereon
1 Li, Yue
1 Linton, Stephen A.
1 Ozdemir, Alex
1 Power, John
1 Tinelli, Cesare
1 Zucca, Elena

Cited in 3 Serials

1 Formal Aspects of Computing
1 Theory and Practice of Logic Programming
1 Journal of Logical and Algebraic Methods in Programming

Cited in 4 Fields

6 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
1 Field theory and polynomials (12-XX)
1 Category theory; homological algebra (18-XX)

Citations by Year