scientific article; zbMATH DE number 2090065

zbMath1045.68069MaRDI QIDQ4808738

Claude Kirchner, Germain Faure

Publication date: 12 August 2004

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Expressing combinatory reduction systems derivations in the rewriting calculus, A \(\rho\)-calculus of explicit constraint application, Unnamed Item