Edit Profile (opens in new tab) Novodvorsky, Aleksey Compute Distance To: Compute Author ID: novodvorsky.aleksey Published as: Novodvorsky, Aleksey Documents Indexed: 1 Publication since 1998 Co-Authors: 1 Co-Author with 1 Joint Publication Co-Authors 0 single-authored 1 Smirnov, Aleksey Serials 1 Journal of Applied Non-Classical Logics 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 ▼ A shell for generic interactive proof search. Zbl 0955.03503Novodvorsky, Aleksey; Smirnov, Aleksey 1 1998 A shell for generic interactive proof search. Zbl 0955.03503Novodvorsky, Aleksey; Smirnov, Aleksey 1 1998 Cited by 2 Authors 1 Petrukhin, Yaroslav Igorevich 1 Shangin, Vasily Cited in 1 Serial 1 European Journal of Mathematics Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year