Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Okhotnikov, Oleg Alievich
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:105
Abstract pages:141
Full texts:68
References:20
E-mail:
Keywords: logic, proof search

Subject:

mathmatical logic

https://www.mathnet.ru/eng/person81601
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2019
1. O. A. Okhotnikov, “About proof-search in classical natural deduction calculus using partial skolemization”, Intelligent systems. Theory and applications, 23:4 (2019),  39–90  mathnet

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024