scientific article

zbMath1272.68191MaRDI QIDQ2849860

Luigi Liquori, Benjamin Wack

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610405296X

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Twenty years of rewriting logic, Type soundness for path polymorphism