Title: Automata, Languages and Programming
Subjects: Machine theory, Programmation, Congrès, Langages formels, Automates mathématiques, Théorie des, Cryptologie, Computer programming, Processus communicant, Récursivité, Logique mathématique, Automates, Sémantique langage, Spécification programme, Programmation (Informatique), Formal languages, Ordinateurs, Congresses, Logique programmation