© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Implementation of a Relational Language for Microcomputers
ALC Cavalcanti, D Florissi, PG Soares, and TCS Melo
In 7th Conference of the Brazilian Computer Society, pages 182-196, 1987 (in Portuguese).Bibtex Record
@inproceedings{1498, author = {ALC Cavalcanti and D Florissi and PG Soares and TCS Melo}, title = {{Implementation of a Relational Language for Microcomputers}}, month = {unknown}, year = {1987}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {(in Portuguese)}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1987/1498}, publication_type = {inproceedings}, submission_id = {481_1028907802}, other_year = {1987}, booktitle = {7th Conference of the Brazilian Computer Society}, }