External Links

    Journal: Journal of Automated Reasoning

    Volume 52, Issue 2

    123 -- 153Clemens Ballarin. Locales: A Module System for Mathematical Theories
    155 -- 190Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-unification for Unranked Terms and Hedges
    191 -- 213Jesse Alama, Tom Heskes, Daniel Kühlwein, Evgeni Tsivtsivadze, Josef Urban. Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
    215 -- 239Jonghyun Park, Jeongbong Seo, Sungwoo Park, Gyesik Lee. Mechanizing Metatheory Without Typing Contexts
    runs on