

An edition of Foundations of software technology and theoretical computer science (1996)
16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings (Lecture Notes in Computer Science)
By V. Vinay
Publish Date
December 19, 1996
Publisher
Springer
Language
eng
Pages
387
Description:
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