Implementation and Application of Automatade Nelma MoreiraMateriasMathematical Logic and Formal LanguagesComputational Biology/BioinformaticsInformation organizationInformation storage and retrieval systemsAlgorithm Analysis and Problem ComplexityInformation retrievalData StructuresComputation by Abstract DevicesData structures (Computer science)
Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Sci