Search Results

Showing 1 - 1 results of 1 for search '"termination analysis"', query time: 0.08s Refine Results
  1. 1
    by Yamada, Akihisa
    Published 2021
    “...Abstract Interpretation methods constitute a foundation of termination analysis for term rewriting...”
    Get access
    Get access
    Book Part
Search Tools: Get RSS Feed