Speedith: A Reasoner for Spider Diagrams
View / Open Files
Authors
Urbas, M
Jamnik, M
Stapleton, G
Publication Date
2015-12Journal Title
Journal of Logic, Language and Information
ISSN
0925-8531
Publisher
Springer Science and Business Media LLC
Volume
24
Issue
4
Pages
487-540
Type
Article
Metadata
Show full item recordCitation
Urbas, M., Jamnik, M., & Stapleton, G. (2015). Speedith: A Reasoner for Spider Diagrams. Journal of Logic, Language and Information, 24 (4), 487-540. https://doi.org/10.1007/s10849-015-9229-0
Sponsorship
EPSRC (GR/R76783/01)
Identifiers
External DOI: https://doi.org/10.1007/s10849-015-9229-0
This record's URL: https://www.repository.cam.ac.uk/handle/1810/283131
Rights
Licence:
http://www.rioxx.net/licenses/all-rights-reserved
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.