11949 search results - page 172 / 2390 » Some results on (a:b)-choosability |
APAL
2000
15 years 1 months ago
2000
We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that ir...
106
click to vote
COLING
2002
15 years 1 months ago
2002
This paper presents a framework for clustering in text-based information retrieval systems. The prominent feature of the proposed method is that documents, terms, and other relate...
ENTCS
2002
15 years 1 months 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...
JSYML
2000
15 years 1 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
117
click to vote
AC
1998
Springer
15 years 1 months ago
1998
Springer
This paper describes the state of the art for cryptographic hash functions. Different definitions are compared, and the few theoretical results on hash functions are discussed. A...