Abstract
This paper is concerned with the relationship of termination problem for regular programs to the validity of certain formulas in modal logic.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have