raSAT: an SMT solver for polynomial constraints
Tung, Vu Xuan, Van Khanh, To, Ogawa, Mizuhito
Published in Formal methods in system design (01.12.2017)
Published in Formal methods in system design (01.12.2017)
Get full text
Journal Article
Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent
Sakai, Masahiko, Oyamaguchi, Michio, Ogawa, Mizuhito
Published in Automated Deduction - CADE-25 (01.01.2015)
Published in Automated Deduction - CADE-25 (01.01.2015)
Get full text
Book Chapter