A Sufficient Condition of Logically Constrained Term Rewrite Systems for Decidability of All-path Reachability Problems with Constant Destinations
Article in Journal of Information Processing (May 2024)
The most recent citing publications are shown below. View all 199 publications that cite this research output on Dimensions.
Article in Journal of Information Processing (May 2024)
Article in Journal of Functional Programming (January 2024)
Article in Journal of Logical and Algebraic Methods in Programming (January 2024)