TY - GEN digital ID - 131376976 TI - Descriptional Complexity of Formal Systems : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings AU - Holzer, Markus AU - Kutrib, Martin AU - Pighizzini, Giovanni PY - 2011 SN - 9783642226007 PB - Berlin, Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Logic KW - Computer science KW - Computer. Automation KW - informatica KW - ontwerpen KW - programmeren (informatica) KW - wiskunde KW - software engineering UR - https://www.unicat.be/uniCat?func=search&query=sysid:131376976 AB - ER -