© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Introduction to Programming Language Theory
Octavian Patrascoiu
Editura Rom TPT, September 2001.Bibtex Record
@book{1687, author = {Octavian Patrascoiu}, title = {{I}ntroduction to {P}rogramming {L}anguage {T}heory}, month = {September}, year = {2001}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2001/1687}, publication_type = {book}, submission_id = {23376_1063098998}, publisher = {Editura Rom TPT}, }