Theoretical Aspects of Computing - ICTAC 2004

DOI10.1007/B107116MaRDI QIDQ5709986zbMATH OpenOpenAlexFDO

Authors Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Publication date 30 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107116

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Termination of rewriting under strategies
• Proving weak properties of rewriting
• On proving termination by innermost termination
• Induction for termination with local strategies
• Outermost ground termination

Cited in

(4)

• Proving weak properties of rewriting
• Termination and normalisation under strategy proofs in ELAN
• A proof rule for fair termination of guarded commands
• Termination of rewriting under strategies

Describes a project that uses

Uses Software

• CARIBOO
• Maude

This page was built for publication: Theoretical Aspects of Computing - ICTAC 2004

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