Sciweavers

7 search results - page 1 / 2
» relmics 2009
Sort
View
98
Voted
RELMICS
2009
Springer
15 years 10 months ago
Knowledge and Structure in Social Algorithms
Rohit Parikh
96
Voted
RELMICS
2009
Springer
15 years 10 months ago
A Model of Internet Routing Using Semi-modules
John N. Billings, Timothy G. Griffin
RELMICS
2009
Springer
15 years 8 months ago
Towards Algebraic Separation Logic
Han-Hing Dang, Peter Höfner, Bernhard Mö...
116
Voted
RELMICS
2009
Springer
15 years 10 months ago
Contact Relations with Applications
Using relation algebra, we generalize Aumann’s notion of a contact relation and that of a closure operation from powersets to general membership relations and their induced parti...
Gunther Schmidt, Rudolf Berghammer
RELMICS
2009
Springer
15 years 10 months ago
Collagories for Relational Adhesive Rewriting
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
Wolfram Kahl