Pages that link to "Item:Q1947203"
From MaRDI portal
The following pages link to Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7--10, 2012. Revised selected papers (Q1947203):
Displaying 1 item.