Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
JANCL
2002
2002
A Topological Constraint Language with Component Counting
A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topological relations and functions taking these subsets as arguments. Thus, topological constraint languages typically allow us to make assertions such as "region
Real-time TrafficRelated Content
| Added | 22 Dec 2010 |
| Updated | 22 Dec 2010 |
| Type | Journal |
| Year | 2002 |
| Where | JANCL |
| Authors | Ian Pratt-Hartmann |
Comments (0)
Researcher Info
|
