Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 1630
 
Project title
Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2002
Completion
31-12-2005
 

Publications
(All)

Results 1-2 of 2 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Došen, Kosta ; Petrić, Zoran The geometry of self-adjunction2003Publications de l'Institut Mathématique; 73(87); 1-29M24
2Petrić, Zoran Coherence in substructural categories1-Jan-2002Studia Logica; 70(2); 271-296