scientific article; zbMATH DE number 7308365

zbMath1454.68064MaRDI QIDQ5150132

Gilles Dowek, Camilo Rocha, César A. Muñoz

Publication date: 9 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.6

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (2)

Rewriting modulo SMT and open system analysis ⋮ Twenty years of rewriting logic

Uses Software

• Maude

This page was built for publication: