A. A. Chubaryan

From MaRDI portal
Person:200962

Available identifiers

zbMath Open chubaryan.a-aMaRDI QIDQ200962

List of research outcomes





PublicationDate of PublicationType
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS2023-03-22Paper
ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS2022-08-29Paper
The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them2017-03-02Paper
https://portal.mardi4nfdi.de/entity/Q29328402014-12-09Paper
https://portal.mardi4nfdi.de/entity/Q57474662014-02-17Paper
The polynomial bounds of proof complexity in Frege systems2011-04-06Paper
Rabin style speed-up of proofs. More generalized speed-up in the systems of first order logic2010-11-30Paper
https://portal.mardi4nfdi.de/entity/Q36167512009-03-26Paper
On the relative efficiency of different systems for classical and nonclassical propositional logics2007-10-22Paper
Relative efficiency of a proof system for classical propositional logic2006-05-26Paper
Comparison of proof sizes in systems and substitution systems of Frege.2004-01-27Paper
Complexity of deductions in a system of classical propositional calculus2001-12-04Paper
https://portal.mardi4nfdi.de/entity/Q34915461987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37243291982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39505571981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41635311977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41387071975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41827081975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40948551974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56580771972-01-01Paper

Research outcomes over time

This page was built for person: A. A. Chubaryan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:200962&oldid=6845897"
Powered by MediaWiki