scientific article; zbMATH DE number 794236

zbMath0826.00017MaRDI QIDQ4846996

No author found.

Publication date: 30 October 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Term rewriting systems

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items

Simple termination of rewrite systems