Patricia Johann On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:201-229 [Journal]
Robert Goldblatt A comonadic account of behavioural covarieties of coalgebras. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:243-269 [Journal]
Dieter Spreen The largest Cartesian closed category of domains, considered constructively. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:299-321 [Journal]
Masahito Hasegawa Classical linear logic of implications. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:323-342 [Journal]
K. Subramani Periodic Linear Programming with applications to real-time scheduling. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:383-406 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP