Loading... 3 0 20 0 false
Full Name
Došen, Kosta
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false


Refined By:
Rank:  M22
Subject:  Classical linear logic | Coherence | Criteria of identity for proofs | Cut elimination | First-order predicate logic | Proof-net category

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

Author(s)TitleIssue DateAppears inRank
1Došen, Kosta ; Petrić, Zoran Coherence in linear predicate logic1-Mar-2009Annals of Pure and Applied Logic; 158(1-2); 125-153M22

Projects



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

AcronymTitleStart dateCompletionP-Investigator
PROJECT 1630Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics01-01-200231-12-2005Došen, Kosta