Showing 1 - 2 results of 2 for search 'Hans Zantema', זמן שאילתה: 0.02s Refine Results
  1. 1
    Termination of Cycle Rewriting by Transformation and Matrix Interpretation

    Termination of Cycle Rewriting by Transformation and Matrix Interpretation מאת David Sabel, Hans Zantema

    יצא לאור 2017-03-01
    קבל טקסט מלא
    Article
  2. 2
    A Rewriting View of Simple Typing

    A Rewriting View of Simple Typing מאת Aaron Stump, Garrin Kimmell, Hans Zantema, Ruba El Haj Omar

    יצא לאור 2013-02-01
    קבל טקסט מלא
    Article

כלי חיפוש: