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


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

Publications
(All)



Refined By:
Rank:  M24

Results 1-1 of 1 (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