News
About
Studying
Research
Alumni
Global
Students
Staff
Schools & departments
Search the Research Explorer
Search the full site
Search for people
Contact us
University Homepage
Research
Explorer home
Research outputs
A Generalized Interval Package and its Use for Semantic Checking
Explorer home
Staff
Research projects
Research outputs
Research activities
Colleges & Schools
Prizes
Research press coverage
Datasets
A Generalized Interval Package and its Use for Semantic Checking
Research output
:
Contribution to journal
›
Article
›
peer-review
Export citation
[
RIS
]
[
BibTeX
]
Overview
Citation formats
Alan Bundy
Related Edinburgh Organisations
School of Informatics
http://portal.acm.org/citation.cfm?doid=2701.2702
http://hdl.handle.net/1842/4547
Original language
English
Journal
ACM Transactions on Mathematical Software
Volume
10
Issue number
4
DOIs
https://doi.org/10.1145/2701.2702
Publication status
Published -
Dec 1984
ID: 400476