4 projects found matching your search criteria :
Operational theories of the statutory interpretation as an act of the pragmatics
Call: SONATA 8 , Panel: HS5
Principal investigator: dr hab. Artur Jerzy Kotowski
Akademia Leona Koźmińskiego
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Call: OPUS 22 , Panel: HS6
Principal investigator: prof. Guillaume Laurent Thierry
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Call: OPUS 17 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki