Formal languages.

Problem solving in automata, languages, and complexity / by: (Language materials, printed)

Communication and concurrency / by: (Language materials, printed)

Feasible computations and provable complexity properties / by: (Electronic resources)

Formal models, languages and applications by: (Electronic resources)

Logic and language models for computer science / by: (Language materials, printed)

Machine theory.

Computational complexity.

Compilers (Computer programs)

Formal languages.

Description logics.

Artificial intelligence.