×
Edit Profile (opens in new tab)

Rozanov, Mirron

Co-Author Distance
Author ID: rozanov.mirron Recent zbMATH articles by "Rozanov, Mirron"
Published as: Rozanov, Mirron
Documents Indexed: 1 Publication since 2008
Co-Authors: 1 Co-Author with 1 Joint Publication
50 Co-Co-Authors

Co-Authors

0 single-authored
1 Strichman, Ofer

Serials

Fields

1 Mathematical logic and foundations (03-XX)
1 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼
Generating minimum transitivity constraints in P-time for deciding equality logic. Zbl 1277.68146
Rozanov, Mirron; Strichman, Ofer
1
2008
Generating minimum transitivity constraints in P-time for deciding equality logic. Zbl 1277.68146
Rozanov, Mirron; Strichman, Ofer
1
2008

Cited by 4 Authors

1 Cheng, Xi
1 Song, Xiaoyu
1 Sun, Jiaguang
1 Zhou, Min

Cited in 1 Serial

1 Artificial Intelligence

Cited in 1 Field

1 Computer science (68-XX)

Citations by Year