Open AccessInvestigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Author(s) -
Anahit Artashes Chubaryan .,
Artur Khamisyan,
Garik Petrosyan .
Publication year - 2019
Publication title -
transactions on machine learning and artificial intelligence
Language(s) - English
Resource type - Journals
ISSN - 2054-7390
DOI - 10.14738/tmlai.71.6187
Subject(s) - proof complexity , direct proof , structural proof theory , proof of concept , proof theory , mathematics , combinatorial proof , computer assisted proof , mathematical proof , analytic proof , discrete mathematics , computer science , geometry , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom