Login / Signup
Tomohiro Sasano
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Sequence Matching
Equality Generating Dependencies
Pairwise
Integrity Constraints
Top Venues
WPTE@FSCD
</>
Publications
</>
Tomohiro Sasano
,
Naoki Nishida
,
Masahiko Sakai
,
Tomoya Ueyama
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers.
WPTE@FSCD
(2017)