scientific article
From MaRDI portal
Publication:3497624
zbMath1171.68713MaRDI QIDQ3497624
Mauricio Ayala-Rincón, André Luiz Galdino
Publication date: 27 July 2009
Full work available at URL: http://jfr.cib.unibo.it/article/view/1347
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (4)
Confluence of orthogonal term rewriting systems in the prototype verification system ⋮ Unnamed Item ⋮ A formalization of the Knuth-Bendix(-Huet) critical pair theorem ⋮ Unnamed Item
Uses Software
This page was built for publication:
