Portal de Periódicos da CAPES

Formal Properties of Finite Automata and Applications

1989; Springer Science+Business Media; Linguagem: Inglês

10.1007/bfb0013106

1611-3349

D Barstow, W Brauer, P Brinch, Hansen Gries, D Luckham, C Moler, A Pnueli, G Seegmliller, J Stoer, Niklaus Wirth,

Logic, programming, and type systems

The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique combination of research level articles on various