Next


Addison Wesley - Formal Syntax and Semantics of Programming Languages




ELEMENTARY RECURSION THEORY AND ITS APPLICATIONS TO FORMAL SYSTEMS - Saul Kripke


image

An Introduction to Formal Language Theory that Integrates Experimentation and Proof


image

Sag I.A., Wasow T. Syntactic theory.. a formal introduction (1999)(483s)


image

arXiv:chao-dyn/9407003v1 7 Jul 1994


image

Cambridge.Practical.Formal.Software.Engineering.Jan.2009.eBook-ELOHiM


image


  Next