Mathematical Foundations of Computer Science 1993 The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer languages, the theory of programming, lambda calculus and type theory, semantics, concurrent systems and the logic of programs.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.