Showing 1 - 1 results of 1 for search 'Vincent Atassi', זמן שאילתה: 0.02s Refine Results
  1. 1
    Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic

    Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic מאת Vincent Atassi, Patrick Baillot, Kazushige Terui

    יצא לאור 2007-11-01
    קבל טקסט מלא
    Article

כלי חיפוש: