Foundation of software science and computation structures: third international conference, fossacs 2000 held as part of the joint european conferences on theory and practice of software, etaps 2000 berlin, germany, march 25 - april 2, 2000 proceedings: fossacs 2000 held as part of the joint european conference on theory and practice of software, etaps 2000 berlin, germany, march 25-april 2, 2000, proceedings: fossacs 2000 held as part of the joint european conference on theory and practice of software, etaps 2000 berlin, germany, march 25-april 2, 2000, proceedings
Auteur :
Tiuryn, Jerzy
ISBN :
9783540672579
Date de publication :
15 mars 2000
Dimensions :
23,3 x 15,5 x 2,1 cm
Poids :
570 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These are the refereed proceedings of the Third International Conference on Foundations of Software Science and Computation Structures. Among the topics covered are rewriting, pi-calculus, lambda-calculus, formal languages, proof systems, type theory, mobile processes and automata theory.