scientific article; zbMATH DE number 7356680

zbMath1464.68144arXiv1303.7335MaRDI QIDQ4992400

Ana Cristina Rocha-Oliveira, Mauricio Ayala-Rincón

Publication date: 8 June 2021

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (3)

Confluence of orthogonal term rewriting systems in the prototype verification system ⋮ Unnamed Item ⋮ Checking overlaps of nominal rewriting rules

Uses Software

• PVS

This page was built for publication: