Riis, Søren
-
BRICS Report Series No. 19 (1998): RS-19 Generating Hard Tautologies Using Predicate Logic and the Symmetric Group - Articles
Generating Hard Tautologies Using Predicate Logic and the Symmetric Group
Abstract PDF -
BRICS Report Series No. 20 (1998): RS-20 Uniformly Generated Submodules of Permutation Modules - Articles
Uniformly Generated Submodules of Permutation Modules
Abstract PDF -
BRICS Report Series No. 29 (1999): RS-29 A Complexity Gap for Tree-Resolution - Articles
A Complexity Gap for Tree-Resolution
Abstract PDF -
BRICS Report Series No. 24 (1994): RS-24 A Fractal which violates the Axiom of Determinacy - Articles
A Fractal which violates the Axiom of Determinacy
Abstract PDF -
BRICS Report Series No. 23 (1994): RS-23 Finitisation in Bounded Arithmetic - Articles
Finitisation in Bounded Arithmetic
Abstract PDF -
BRICS Report Series No. 21 (1994): RS-21 Count(q) does not imply Count(p) - Articles
Count(q) does not imply Count(p)
Abstract PDF -
BRICS Report Series No. 26 (1994): RS-26 Count(q) versus the Pigeon-Hole Principle - Articles
Count(q) versus the Pigeon-Hole Principle
Abstract PDF -
BRICS Report Series No. 25 (1994): RS-25 Bootstrapping the Primitive Recursive Functions by 47 Colors - Articles
Bootstrapping the Primitive Recursive Functions by 47 Colors
Abstract PDF -
BRICS Report Series No. 10 (2000): RS-10 A Tough Nut for Tree Resolution - Articles
A Tough Nut for Tree Resolution
Abstract PDF -
BRICS Report Series No. 14 (1997): RS-14 Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient - Articles
Dictionaries on AC^0 RAMs: Query Time Theta(√log n/log log n) is Necessary and Sufficient
Abstract PDF