scientific article; zbMATH DE number 2059570

zbMath1062.68067MaRDI QIDQ4457840

Lionel Khalil, Maribel Fernández

Publication date: 17 March 2004

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

zbMATH Keywords

rewrite systemstype systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Unnamed Item ⋮ Recursive Functions with Pattern Matching in Interaction Nets

This page was built for publication: