Computer Software
Print ISSN : 0289-6540
0n the Decidability of Rational Presburger Arithmetic.
Chiharu HosonoYasuo Ikeda
Author information
JOURNAL FREE ACCESS

1992 Volume 9 Issue 5 Pages 5_432-5_439

Details
Abstract

Content from these authors
© 1992, Japan Society for Software Science and Technology
Previous article Next article
feedback
Top