Standard

A new sequent calculus for automated proof search. / Okhotnikov, Oleg.
в: Applied Mathematical Sciences, Том 8, № 97-100, 01.01.2014, стр. 4977-4984.

Результаты исследований: Вклад в журнал › Статья › Рецензирование

Harvard

Okhotnikov, O 2014, 'A new sequent calculus for automated proof search', Applied Mathematical Sciences, Том. 8, № 97-100, стр. 4977-4984. https://doi.org/10.12988/ams.2014.46497

APA

Okhotnikov, O. (2014). A new sequent calculus for automated proof search. Applied Mathematical Sciences, 8(97-100), 4977-4984. https://doi.org/10.12988/ams.2014.46497

Vancouver

Okhotnikov O. A new sequent calculus for automated proof search. Applied Mathematical Sciences. 2014 янв. 1;8(97-100):4977-4984. doi: 10.12988/ams.2014.46497

Author

Okhotnikov, Oleg. / A new sequent calculus for automated proof search. в: Applied Mathematical Sciences. 2014 ; Том 8, № 97-100. стр. 4977-4984.

BibTeX

@article{3ceadc4c06a04f74968be22ce31a219e,
title = "A new sequent calculus for automated proof search",
keywords = "Automated proof search, Natural deduction, Proof theory, Sequent calculus",
author = "Oleg Okhotnikov",
year = "2014",
month = jan,
day = "1",
doi = "10.12988/ams.2014.46497",
language = "English",
volume = "8",
pages = "4977--4984",
journal = "Applied Mathematical Sciences",
publisher = "Hikari Ltd.",
number = "97-100",

}

RIS

TY - JOUR

T1 - A new sequent calculus for automated proof search

AU - Okhotnikov, Oleg

PY - 2014/1/1

Y1 - 2014/1/1

KW - Automated proof search

KW - Natural deduction

KW - Proof theory

KW - Sequent calculus

UR - http://www.scopus.com/inward/record.url?scp=84939123606&partnerID=8YFLogxK

U2 - 10.12988/ams.2014.46497

DO - 10.12988/ams.2014.46497

M3 - Article

AN - SCOPUS:84939123606

VL - 8

SP - 4977

EP - 4984

JO - Applied Mathematical Sciences

JF - Applied Mathematical Sciences

IS - 97-100

ER -

ID: 296022