Invariants for classification of propositional formulae

Petrić, Zoran; Došen, Kosta

Резултати

eNauka > Results > Invariants for classification of propositional formulae

Title:	Invariants for classification of propositional formulae
Authors:	Petrić, Zoran ; Došen, Kosta
Issue Date:	2012
Publication:	Workshop “Cross Perspectives on Proof Systems and their Significance”
Publisher:	École normale supérieure Paris, Department of Philosophy, Francuska
Type:	Conference Paper
URI:	https://enauka.gov.rs/handle/123456789/201391 http://researchrepository.mi.sanu.ac.rs/handle/123456789/3439
URL:	http://lists.seas.upenn.edu/pipermail/types-announce/2012/003089.html
Metadata source:	Migrirano iz RIS podataka
M-category:	Mp. category will be shown later

Find the DOI

Finding a DOI in CrossRef based on publication meta-data. The DOI (and metadata) with the similar data match will be displayed. ATTENTION - it doesn't have to be that publication.

Google Scholar^TM