Descriptional complexity of formal systems. 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25--27, 2011. Proceedings

From MaRDI portal
Publication:555653