scientific article

From MaRDI portal

Publication:3757390

Jump to:navigation, search

zbMath0621.68022MaRDI QIDQ3757390

Françoise Bellegarde, Pierre Lescanne

Publication date: 1987

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

zbMATH Keywords

confluence cooperation termination of rewriting systems transformation ordering

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Program transformation and rewriting, A complete characterization of termination of 0p 1q→1r 0s, Termination of rewriting, Termination by completion, Proving termination of (conditional) rewrite systems. A semantic approach, Abstract abstract reduction

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3757390&oldid=17289874"