Laurent Kott

Subjects

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