Fakultet tehničkih nauka, Departman za opšte discipline u tehnici

View Statistics Email Alert RSS Feed
Organization name
Fakultet tehničkih nauka, Departman za opšte discipline u tehnici
Parent OrgUnit
City
Novi Sad
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)


Refined By:
Date Issued:  [2000 TO 2009]
Date Issued:  2005
Author:  Lescanne P.

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

Issue DateTitleAuthor(s)
119-Jul-2005Intersection and union types in the λ̄μμ̃-calculusDougherty D.; Gilezan, Silvia ; Lescanne P.
21-Jan-2005Strong normalization of the dual classical sequent calculusDougherty D.; Gilezan, Silvia ; Lescanne P.; Likavec S.