Yuichi Nishiwaki

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 13

Top Topics

Quantifier Elimination

Oriented Programming

Pattern Matching

Top Venues

FAS*W@SASO/ICCAC

J. Inf. Process.

Publications