Susumu Yamasaki

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 9

Top Topics

Theoretical Basis

Presburger Arithmetic

Top Venues

DATA (Revised Selected Papers)

Publications