Masaomi Yamaguchi: A Fast Decision Procedure for Uniqueness of Normal Forms ... (FSCD A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-11

Paper: A Fast Decision Procedure for Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems
Authors: Masaomi Yamaguchi, Takahito Aoto


Aired: 2020-02-01 13:00:00 CEST (UTC+2)