Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Naoki Yonezaki

Combining Unification and Rewriting in Proofs for Modal Logics With First-Order Undefinable Frames

English