Nagao, Takahiro
496  results:
Search for persons X
?
10

Rewriting induction for constrained inequalities:

Nagao, Takahiro ; Nishida, Naoki
Science of Computer Programming.  155 (2018)  - p. 76-102 , 2018
 
?
11

Proving inductive validity of constrained inequalities:

, In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,
Nagao, Takahiro ; Nishida, Naoki - p. 50-61 , 2016
 
1-15