output
20012026
most citedLSHTC: A Benchmark for Large-Scale Text Classification

136 citations

researchers with a paper here
collaborating institutions
Showing 2009 · cs.LOShow all

2 papers · 2 filters

cs.LO2009★ 1 cited

Busy beavers gone wild

Grégory Lafitte

We show some incompleteness results a la Chaitin using the busy beaver functions. Then, with the help of ordinal logics, we show how to obtain a theory in which the values of the b…

cs.LO2009★ 1 cited

On the word problem for SP-categories, and the properties of two-way communication

Luigi Santocanale, Robin Cockett

The word problem for categories with free products and coproducts (sums), SP-categories, is directly related to the problem of determining the equivalence of certain processes. Ind…