1805 search results - page 10 / 361 » A Theory of Closure Operators |
ACS
2010
14 years 11 months ago
2010
For a quantale V, first a closure-theoretic approach to completeness and separation in V-categories is presented. This approach is then generalized to T-categories, where T is a to...
183
click to vote
ENTCS
2006
14 years 11 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
CAI
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ļ¬nite model theory and proļ...
ICFCA
2005
Springer
15 years 5 months ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
ICEIS
2003
IEEE
15 years 5 months ago
2003
IEEE
: A deļ¬nition of types in an information system is given from real-world abstractions through data constructs, schema and deļ¬nitions to physical data values. Category theory su...