Gilezan, Silvia

Mreža saradnje Statistika Imејl upоzоrеnjе RSS Feed

Publications


Prеcizirаnо pо:
Аutоr:  Gilezan, Silvia
Puni tеkst:  No Fulltext
Dаtum izdаvаnjа:  [2000 TO 2009]
Аutоr:  Dougherty D.

Rеzultаti 1-1 оd 1 (Vrеmе prеtrаgе: 0.001 sekundi).

Dаtum izdаvаnjаNаslоvАutоr(i)
128-мај-2008Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritageDougherty D.; Gilezan, Silvia ; Lescanne P.