Research activity per year


Search results

  • 2010

    Strict canonical constructive systems

    Avron, A. & Lahav, O., 2010, Fields of Logic and Computation - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Springer Berlin Heidelberg, p. 75-94 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6300 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    3 Scopus citations