Object
Title: On Proof Complexity of Some Type of Tautologies
Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Ալթունյան Վահագն Ն., Պետրոսյան Գարիկ Վ., Алтуняни Ваагн Н., Петросян Гарик В.
Other title:
Որոշ տիպի նույնաբանությունների արտածման բարդությունների վերաբերյալ ; О сложности выводо внекоторого типа тавтологий
Abstract:
In this paper, we investigate the proof complexities of a special type of tautologies,which are described as tautologies consisting of implications and literals. In particular,we prove that the proof of this kind of tautologies can be polynomially reduced to theproof of tautologies consisting of formulas that are described by sign-alternating trees.
Publisher:
Format:
Extent:
Identifier:
oai:arar.sci.am:323543
Language:
Location of original object:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Object collections:
Last modified:
Dec 8, 2023
In our library since:
Jul 15, 2022
Number of object content hits:
21
All available object's versions:
https://arar.sci.am/publication/351190
Show description in RDF format:
Show description in OAI-PMH format:
-
ՀՀ ԳԱԱ Շարունակական հրատարակություններ
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
-
Գրական բանասիրական հետախուզումներ=Литературные разыскания
-
Գրականագիտական հանդես = Литературный журнал = Literary Journal
-
Լեզվի և ոճի հարցեր = Вопросы языка и стиля
-
Լեզու և լեզվաբանություն= Язык и языкознание= Language and linguistics
-
ՀՍՍՌ ԳԱ Ն. Մառի անվան լեզվի ինստիտուտ. Աշխատությունների ժողովածու= Институт языка им. Н. Я. Марра АН АрмССР. Сборник трудов
-
Հայոց ցեղասպանության պատմության և պատմագրության հարցեր = Вопросы истории и историографии Геноцида армян=The issues of the history and historiography of the Armenian Genocide
-
ՀՀ ԳԱԱ Շիրակի հայագիտական հետազոտությունների կենտրոն. Գիտական աշխատություններ= Ширакский центр арменоведческих исследований НАН РА. Научные труды = Shirak Centre of Armenological Studies of NAS RA․ Scientific works
-
Շեքսպիրական. Հայկական շեքսպիրյան տարեգիրք (Լրակազմեր) = Шекспиракан. Армянский шекспировский ежегодник
-
Շեքսպիրական. Հայկական շեքսպիրյան տարեգիրք = Шекспиракан. Армянский шекспировский ежегодник
-
Հնագիտության և ազգագրության ինստիտուտի աշխատություններ = Proceedings of the Institute of Archaeology and Ethnography = Труды Института археологии и этнографии
-
Աշխատություններ փիլիսոփայության և իրավունքի ինստիտուտի
-
ԿԱՆԹԵՂ. Գիտական հոդվածների ժողովածու =КАНТЕХ. Научные труды =KANTEGH. Articles
-
«Կաճառ» Գիտական հոդվածների ժողովածու. ՀՀ ԳԱԱ Գիտակրթական միջազգային կենտրոն = ״Качар״ Сборник научных трудов. НАН РА Международный научно-образовательный центр =“Katchar” Collection of Scientific Articles. International Scientific-Educational Center NAS RA
-
ՀՀ ԳԱԱ երիտասարդ գիտաշխատողների հոդվածների ժողովածու= Сборник статей молодых научных сотрудников НАН РА= Collection օf Articles օf the Young Researchers օf NAS RA
-
Ժամանակակից Եվրասիա = Contemporary Eurasia
-
Սոցիալ-տնտեսական զարգացման արդի հիմնախնդիրները Հայաստանի Հանրապետությունում =Современные проблемы социaльно-экономического развития в Республике Армения =The contemporary issues of socioeconomic development in the Republic of Armenia
-
ՀՀ ԳԱԱ Գ. Ս. Դավթյանի անվան հիդրոպոնիկայի պրոբլեմների ինստիտուտ. Հաղորդումներ= Институт проблем гидропоники им. Г. С.Давтяна НАН РА. Сообщения= G. S. Davtyan Institute of Hydroponics Problems NAS RA. Communications
-
Խաղողագործության, գինեգործության և պտղաբուծության հայկական գիտահետազոտական ինստիտուտի աշխատություններ = Труды Армянского научно-исследовательского института виноградарства, виноделия и плодоводства
-
ՀՍՍՌ ԳԱ Հայ բժշկության և բիոլոգիայի պատմության սեկտոր. Աշխատություններ=Сектор истории армянской медицины и биологии АН Арм. ССР. Труды
-
АН СССР-Армянский филиал. Труды биологического института=Բիոլոգիայի ինստիտուտի աշխատություններ =Transactions of the Biological Institute
-
Лаборатория индуцированного мутагенеза растений․ АН Арм. ССР: Институт Экспериментальной биологии. АН Арм. ССР = Բույսերի ինդուկցված մուտագենեզի լաբորատորիա․ ՀՍՍՀ ԳԱ: Փորձարարական կենսաբանության ինստիտուտ․ ՀՍՍՀ ԳԱ
-
АН Армянской ССР. Ботанический сад. Бюллетень=Հայկական ՍՍՌ ԳԱ Բուսաբանական այգի. Բյուլետեն
-
АН Армянской ССР. Бюраканская оптико-механическая лаборатория= ՀՍՍՀ ԳԱ. Բյուրականի օպտիկա-մեխանիկական լաբորատորիա
-
Сборник научных трудов. Флора, растительность и растительные ресурсы.Тахтаджяния=Գիտական աշխատությունների ժողովածու: Հայաստանի ֆլորան, բուսականությունը և բուսական ռեսուրսները: Թախտաջանիա
-
Зоологический сборник = Կենդանաբանական ժողովածու = Zoological Papers
-
Միկրոբիոլոգիական ժողովածու: Գյուղատնտեսական և արդյունաբերական միկրոբիոլոգիայի հարցեր: Միկրոբիոլոգիայի հարցեր = Микробиологический сборник. Вопросы сельскохозяйственной и промышленной микробиологии. Вопросы микробиологии
-
Севанская озерная станция. Труды: Севанская гидробиологическая станция. Труды=Սևանի ջրակենսաբանական կայան. Աշխատություններ
-
Բյուրականի աստղադիտարանի հաղորդումներ: Երևանի աստղադիտարանի բյուլետեն (Լրակազմեր) = Сообщения Бюраканской обсерватории. Бюллетень ереванской Астрономической обсерватории = Contributions from the Burakan observatory. Bulletin of the Erevan astronomical observatory
-
Բյուրականի աստղադիտարանի հաղորդումներ: Երևանի աստղադիտարանի բյուլետեն = Сообщения Бюраканской обсерватории. Бюллетень ереванской Астрономической обсерватории = Contributions from the Burakan observatory. Bulletin of the Erevan astronomical observatory
-
Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Математические вопросы кибернетики и вычислительной техники, 1964
-
Математические вопросы кибернетики и вычислительной техники, 1965
-
Математические вопросы кибернетики и вычислительной техники, 1966
-
Математические вопросы кибернетики и вычислительной техники, 1968
-
Математические вопросы кибернетики и вычислительной техники, 1972
-
Математические вопросы кибернетики и вычислительной техники, 1975
-
Математические вопросы кибернетики и вычислительной техники, 1979
-
Математические вопросы кибернетики и вычислительной техники, 1982
-
Математические вопросы кибернетики и вычислительной техники, 1984
-
Математические вопросы кибернетики и вычислительной техники, 1985
-
Математические вопросы кибернетики и вычислительной техники, 1986
-
Математические вопросы кибернетики и вычислительной техники, 1988
-
Математические вопросы кибернетики и вычислительной техники, 1997
-
Математические вопросы кибернетики и вычислительной техники, 1998
-
Математические вопросы кибернетики и вычислительной техники, 2000
-
Математические вопросы кибернетики и вычислительной техники, 2001
-
Математические вопросы кибернетики и вычислительной техники, 2004
-
Математические вопросы кибернетики и вычислительной техники, 2005
-
Математические вопросы кибернетики и вычислительной техники, 2006
-
Математические вопросы кибернетики и вычислительной техники, 2007
-
Математические вопросы кибернетики и вычислительной техники, 2008
-
Математические вопросы кибернетики и вычислительной техники, 2009
-
Математические вопросы кибернетики и вычислительной техники, 2010
-
Математические вопросы кибернетики и вычислительной техники, 2011
-
Математические вопросы кибернетики и вычислительной техники, 2012
-
Математические вопросы кибернетики и вычислительной техники, 2013
-
Математические вопросы кибернетики и вычислительной техники, 2014
-
Математические вопросы кибернетики и вычислительной техники, 2015
-
Математические вопросы кибернетики и вычислительной техники, 2016
-
Математические вопросы кибернетики и вычислительной техники, 2017
-
Математические вопросы кибернетики и вычислительной техники, 2018
-
Математические вопросы кибернетики и вычислительной техники, 2019
-
Математические вопросы кибернетики и вычислительной техники, 2020
-
Математические вопросы кибернетики и вычислительной техники, 2021
-
Математические вопросы кибернетики и вычислительной техники, 2021, 55
-
Математические вопросы кибернетики и вычислительной техники, 2021, 56
- Կազմ; Խմբագրական խորհուրդ
- Contents
- Functional Safety Compliant Test & Repair Framework for System-on-Chip Lifecycle Management
- Single Image Joint Motion Deblurring and Super-Resolution Using the Multi-Scale Channel Attention Modules
- Deep Learning Approaches for Voice Emotion Recognition Using Sentiment-Arousal Space
- Differential Privacy in Practice: Use Cases
- Determining the Degree of Fuzzy Regularity of a String
- On Proof Complexity of Some Type of Tautologies
-
Математические вопросы кибернетики и вычислительной техники, 2021, 55
-
Математические вопросы кибернетики и вычислительной техники, 2022
-
Математические вопросы кибернетики и вычислительной техники, 2023
-
Mathematical problems of computer science, 2024
-
Математические вопросы кибернетики и вычислительной техники, 1963
-
Сообщения института математики и механики= Մաթեմատիկայի և մեխանիկայի ինստիտուտի հաղորդումներ= Bulletin of the Institute of Mathematics and Mechanics
-
Գեոմեխանիկայի պրոբլեմներ =Проблемы геомеханики =Problems of geomechanics Գեոմեխանիկայի
-
Бюллетень по инженерной сейсмологии = Բյուլետեն ինժեներային սեյսմոլոգիայի
-
Труды ботанического института Академии наук Армянской ССР=Աշխատություններ Հայկական ՍՍՌ Գիտությունների ակադեմիայի բուսաբանական ինստիտուտի=Acta Instituti Botanici Academiae Scientiarum SSR Armeniae
-
Труды геологического института=Երկրաբանական ինստիտուտի աշխատություններ
-
Записки всесоюзного минералогического общества. Армянское отделение =Համամիութենական միներալոգիական ընկերության հայկական բաժանմունքի զեկուցագրեր
-
Ցեղասպանագիտական հանդես
-
Հասարակագիտական միտքը արդի ժամանակաշրջանում
-
Արեւելաասիական ուսումնասիրություններ=Eastern Asian Studies
-
ՀՀ ԳԱԱ Հ. Աճառյանի անվան լեզվի ինստիտուտի տեղեկագիրք=Directory of Institute of Language After H. Acharyan=Ведомости института языка имени Р. Ачаряна
-
Հայկական ՍՍՌ ԳԱ Ֆիզիոլոգիայի ինստիտուտ. Աշխատություններ: Բարձրագույն ներվային գործունեության հարցեր = Институт Физиологии АН Арм. ССР. Труды. Вопросы высшей нервной деятельности
-
International Journal of Armenian Genocide Studies=Հայոց ցեղասպանության ուսումնասիրության միջազգային հանդես
-
«Լոռե բերդից մինչև Ստեփանավան. պատմամշակութային ժառանգության հետքերով» և «ՀՀ ԳԱԱ պատմության ինստիտուտի երիտասարդ գիտաշխատողների խորհրդի XLIII գիտական նստաշրջան՝ նվիրված Սիմոն Կրկյաշարյանի ծննդյան 100-ամյակին»
-
Հայագիտական ընթերցումներ. Գիտական հոդվածների ժողովածու=Арменоведческие чтения. Сборник научных трудов=Armenological readings. Collection of scientific articles
-
Բնագիտության և տեխնիկայի պատմությունը Հայաստանում=История естествознания и техники в Армении
| Edition name | Date |
|---|---|
| Altunyan, Vahagn N., On Proof Complexity of Some Type of Tautologie | Dec 8, 2023 |
