scientific article

zbMath1464.68142arXiv1303.0796MaRDI QIDQ3388749

Hélène Kirchner

Publication date: 6 May 2021

Full work available at URL: https://arxiv.org/abs/1303.0796

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items

Rewriting Strategies and Strategic Rewrite Programs, A Maude environment for CafeOBJ