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)


Refined By:
Subject:  Categorial proof theory | Coherence | Substructural logics

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

Author(s)TitleIssue DateAppears inRank
1Petrić, Zoran Coherence in substructural categories1-Jan-2002Studia Logica; 70(2); 271-296