9370 search results - page 135 / 1874 » An Abstract Notion of Application |
100
click to vote
MST
2008
15 years 22 days ago
2008
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. We review the allegorical foundations of a methodology of designing datatype-generic programs...
101
Voted
RML
2006
15 years 21 days ago
2006
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...
110
click to vote
JANCL
2007
15 years 21 days ago
2007
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
115
click to vote
CORR
2000
Springer
15 years 18 days ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
76
Voted
ENTCS
2002
15 years 18 days ago
2002
Abstract. We extend some of our previous results on fixed points of graph multifunctions to posets. The posets of most interest here are the (finite) Khalimsky spaces, in their spe...