scientific article
From MaRDI portal
Publication:2958383
DOI10.4230/LIPIcs.RTA.2013.174zbMath1356.03054MaRDI QIDQ2958383
Vincent van Oostrom, Bertram Felgenhauer
Publication date: 1 February 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Mechanized Proof of Higman’s Lemma by Open Induction ⋮ Confluence: The Unifying, Expressive Power of Locality ⋮ De Bruijn's weak diamond property revisited ⋮ Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
This page was built for publication:
