Predictive Labeling
From MaRDI portal
Publication:3527304
DOI10.1007/11805618_24zbMath1151.68446OpenAlexW2911875343MaRDI QIDQ3527304
Publication date: 25 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11805618_24
Related Items (4)
Size-based termination of higher-order rewriting ⋮ Root-Labeling ⋮ On the Relation between Sized-Types Based Termination and Semantic Labelling ⋮ Innermost Termination of Rewrite Systems by Labeling
This page was built for publication: Predictive Labeling
