A Generic Framework for Diamond Lemmas
From MaRDI portal
Publication:6207765
arXiv0712.1142MaRDI QIDQ6207765
Publication date: 7 December 2007
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication: A Generic Framework for Diamond Lemmas