scientific article; zbMATH DE number 1377413

MaRDI QIDQ4702971zbMATH OpenFDO

Authors

Publication date 13 December 1999

zbMATH Keywords

Kyoto (Japan)ProceedingsRewriting systemsSymposium

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42)

Recommendations

• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
• scientific article; zbMATH DE number 4092821
• Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
• Conditional rewrite rules: Confluence and termination

Cited in

(5)

• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
• scientific article; zbMATH DE number 4092821 (Why is no real title available?)
• scientific article; zbMATH DE number 590587 (Why is no real title available?)
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides
• Implementing conditional term rewriting by graph rewriting

This page was built for publication:

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