Sang-Ki Ko

• Descriptional Complexity of Formal Systems