8810 search results - page 421 / 1762 » Open. Closed. Open |
171
Voted
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
152
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
Fuzzy topology based on interior operators is studied in the fully graded framework of Fuzzy Class Theory. Its relation to graded notions of fuzzy topology given by open sets and ...
MKWI
2008
15 years 8 months ago
2008
: In dem vorliegenden Beitrag stellen wir einen neuen Ansatz f
163
click to vote
APAL
2008
15 years 7 months ago
2008
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...
158
click to vote
CC
2010
Springer
15 years 7 months ago
2010
Springer
We solve an open problem in communication complexity posed by Kushilevitz and Nisan (1997). Let R (f) and D