scientific article; zbMATH DE number 512906

zbMath0791.68015MaRDI QIDQ4281615

Germán Vidal, María José Ramis, Moreno Falaschi, María Alpuente

Publication date: 1993

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

zbMATH Keywords

optimizationterminationterm rewriting systemsabstract interpretationequational theoriesloop detectionuniversal unificationequational logic programming

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (6)

A compositional semantic basis for the analysis of equational Horn programs ⋮ Loop detection in term rewriting using the eliminating unfoldings ⋮ Termination of narrowing via termination of rewriting ⋮ Termination of Narrowing in Left-Linear Constructor Systems ⋮ A Fully Abstract Semantics for Constructor Systems ⋮ Static Slicing of Rewrite Systems

This page was built for publication: