Modular and certified semantic labeling and unlabeling

DOI10.4230/LIPICS.RTA.2011.329MaRDI QIDQ5389090zbMATH OpenOpenAlexFDO

Authors Christian Sternagel, René Thiemann

Publication date 24 April 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_6eae.html

zbMATH Keywords

certificationsemantic labelingterm rewritingunlabeling

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Innermost termination of rewrite systems by labeling
• Predictive Labeling
• scientific article; zbMATH DE number 1670496
• Transforming termination by self-labelling
• scientific article; zbMATH DE number 794240

Cited in

(6)

• scientific article; zbMATH DE number 1670496 (Why is no real title available?)
• Root-Labeling
• Predictive Labeling
• Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
• Transforming termination by self-labelling
• Sparse tiling through overlap closures for termination of string rewriting

Describes a project that uses

Uses Software

• CeTA
• Isabelle/HOL
• Jambox
• TPA

This page was built for publication: Modular and certified semantic labeling and unlabeling

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