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

• Type: Journal
• Year: 2002
• Where: JANCL
• Authors: Ian Pratt-Hartmann
• Keywords: JANCL 2002, Topological, Topological Constraint, Topological Constraint Language