vix.ing · top · new · best · stats · spec

Tabatabai, Amirhossein Akbar

  1. Uniform Lyndon interpolation for intuitionistic monotone modal logic
    2022/08/09 by Tabatabai, Amirhossein Akbar, Iemhoff, Rosalie, Jalali, Raheleh · 2 citations
    #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)