1864 search results - page 4 / 373 » Formal topology and domains |
SAS
2007
Springer
13 years 11 months ago
2007
Springer
SAS
1994
Springer
13 years 8 months ago
1994
Springer
SAS
2010
Springer
13 years 3 months ago
2010
Springer
JANCL
2002
13 years 5 months ago
2002
A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topologi...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...