Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems
Details
- OL Work ID
- OL20672758W
Subjects
Formal methods (Computer science)CongressesFormal languagesMachine theorySystem designComputer scienceComputer softwareLogic designComputational complexityComputation by Abstract DevicesMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsAlgorithm Analysis and Problem ComplexityDiscrete Mathematics in Computer Science