© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Expressiveness of Spider Diagrams
Gem Stapleton, John Howse, John Taylor, and Simon Thompson
Journal of Logic and Computation, 14(6):182-196, November 2004.Bibtex Record
@article{2015, author = {Gem Stapleton and John Howse and John Taylor and Simon Thompson}, title = {{The Expressiveness of Spider Diagrams}}, month = {November}, year = {2004}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2004/2015}, publication_type = {article}, submission_id = {10996_1101835683}, journal = {Journal of Logic and Computation}, volume = {14}, number = {6}, publisher = {Oxford University Press}, ISSN = {0955-792X}, }