894 search results - page 37 / 179 » Universal Relations and |
ENTCS
2008
13 years 8 months ago
2008
Dcpos can be presented by a preorder of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals...
SYNTHESE
2008
13 years 8 months ago
2008
Many philosophers think that, necessarily, any material objects have a fusion (let's call that doctrine "Universalism"). In this paper I point out a couple of strang...
IIWAS
2008
13 years 9 months ago
2008
In recent years, comprehensive problem solving by artefact designers has been required as demands related to artefacts become greater and more complicated. In relation to this back...
GRC
2007
IEEE
14 years 2 months ago
2007
IEEE
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on the universe. In the view of granular computing, classica...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...