Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings (Lecture Notes in Computer Science)
Ein Fachband aus dem 17. Internationalen Workshop zur beschreibenden Komplexität formaler Systeme in Waterloo; präsentiert neueste Theorien zu Logik ...