Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Shigeki Hagihara

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

English