Speedith: A Reasoner for Spider Diagrams

Urbas, M; Jamnik, Mateja; Stapleton, G

View / Open Files

Accepted version (PDF, 439Kb)

Authors

Urbas, M

Jamnik, Mateja

Stapleton, G

Publication Date

2015-12

Journal Title

Journal of Logic, Language and Information

ISSN

0925-8531

Publisher

Springer Science and Business Media LLC

Volume

Issue

Pages

487-540

Type

Article

Metadata

Show full item record

Citation

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.