Title: Foundations of software technology and theoretical computer science
Subjects: Réécriture, Informatik, Informatique théorique, Théorie type, Congrès, Computer science, Logique équationnelle, Algèbre processus, Computer software, Informatique, Informatica, Kongreß, Théorie complexité, Congresses, Géométrie algorithmique, Logiciels, Logique temporelle, Programmatuurtechniek, Sémantique, Geometry, Data processing