scientific article; zbMATH DE number 6744203
From MaRDI portal
Publication:5277883
DOI10.4230/LIPIcs.RTA.2015.257zbMath1366.68125MaRDI QIDQ5277883
Bertram Felgenhauer, Aart Middeldorp, Julian Nagele
Publication date: 12 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item ⋮ Unnamed Item ⋮ Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
Uses Software