Expression reduction systems with patterns

DOI10.1007/3-540-44881-0_9MaRDI QIDQ4447226zbMATH OpenFDO

Authors Julien Forest, Delia Kesner

Publication date 16 February 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2706/27060107.htm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Expression reduction systems with patterns
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Higher-order rewrite systems and their confluence
• scientific article; zbMATH DE number 4208054
• scientific article; zbMATH DE number 1231495

Cited in

(5)

• Expression reduction systems with patterns
• scientific article; zbMATH DE number 4208054 (Why is no real title available?)
• scientific article; zbMATH DE number 1231495 (Why is no real title available?)
• scientific article; zbMATH DE number 1332635 (Why is no real title available?)
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: Expression reduction systems with patterns

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