Predictive Labeling

DOI10.1007/11805618_24MaRDI QIDQ3527304zbMATH OpenOpenAlexFDO

Authors Nao Hirokawa, Aart Middeldorp

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Innermost termination of rewrite systems by labeling
• Modular and certified semantic labeling and unlabeling
• Predictive Labeling with Dependency Pairs Using SAT
• scientific article; zbMATH DE number 1670496
• Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems

Cited in

(7)

• Innermost termination of rewrite systems by labeling
• Text rewriting improves semantic role labeling
• Root-Labeling
• Predictive Labeling with Dependency Pairs Using SAT
• On the Relation between Sized-Types Based Termination and Semantic Labelling
• Size-based termination of higher-order rewriting
• Modular and certified semantic labeling and unlabeling

This page was built for publication: Predictive Labeling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3527304)