Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Scide Markus HolzerMateriasLogic designComputer scienceSoftware engineeringFormal languagesLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesComputation by Abstract DevicesEdiciones (1)Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Sci (2011)
