scientific article

zbMath0964.68521MaRDI QIDQ2723903

Jürgen Stuber

Publication date: 8 July 2001

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Superposition with equivalence reasoning and delayed clause normal form transformation