Name
Abstract | ||
|---|---|---|
The correspondence between up-closed multirelations and isotone predicate transformers is well known. Less known is that multirelations have also been used for modelling topological contact, not only computations. We investigate how properties from these two lines of research translate to predicate transformers. To this end, we express the correspondence of multirelations and predicate transformers using relation algebras. It turns out to be similar to the correspondence between contact relations and closure operations. Many results generalise from up-closed to arbitrary multirelations. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1007/978-3-319-19797-5_3 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Discrete mathematics,Algebraic number,Algebra,Computer science,Predicate (grammar),Isotone,Computation | Conference | 9129 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.39 |
References | Authors | |
19 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rudolf Berghammer | 1 | 569 | 76.48 |
| Walter Guttmann | 2 | 196 | 16.53 |