© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Bidirectional Mapping Problem
S Kent and R Smith
Electronic Notes in Theoretical Computer Science, 82(7):182-196, 2003 To appear.Bibtex Record
@article{1590, author = {S Kent and R Smith}, title = {{The Bidirectional Mapping Problem}}, month = {unknown}, year = {2003}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {To appear}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2003/1590}, publication_type = {article}, submission_id = {2244_1048241540}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {7}, publisher = {Elsevier Science}, }