scientific article; zbMATH DE number 2043535

zbMath1038.68062MaRDI QIDQ4447239

Albert Rubio, Cristina Borralleras

Publication date: 16 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060279.htm

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Modular and incremental proofs of AC-termination