Representations of logical structures and formal languages and their application in computing

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 174026
 
Project title
Representations of logical structures and formal languages and their application in computing
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

OA Mandate
 
Currency
EUR
 
Grant number
174026
 

Publications
(All)

Refined By:
Type:  Book Chapter

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

Author(s)TitleIssue DateAppears inRank
1Petrić, Zoran 270 Minutes on Categorial Proof Theory2015Logic in Computer Science; 18(26); 7-35M14
2Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaStructural rules and resource control in logic and computation2015Logic in Computer Science; 18(26); 79-109M14