scientific article; zbMATH DE number 1389857

zbMath0941.68020MaRDI QIDQ4934252

Marisa Venturini Zilli, Paola Inverardi, Benedetto Intrigila

Publication date: 17 January 2000

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

zbMATH Keywords

iterative termsmaximally-folded normal form

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Infinite normal forms for non-linear term rewriting systems

This page was built for publication: