Authors: Došen, Kosta 
Petrić, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Invariants for classification of propositional formulae
Conference: Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure Paris
Issue Date: 2012
Rank: M30
URL: http://www.ihpst.cnrs.fr/en/node/522

Show full item record

Page view(s)

24
checked on May 9, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.