| 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
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.