Sciweavers

99

COCOON
1995
Springer

111views Combinatorics» more COCOON 1995»

Extending the Hong-Kung Model to Memory Hierarchies

15 years 7 months ago

Extending the Hong-Kung Model to Memory Hierarchies

Download www.cs.brown.edu

John E. Savage

claim paper

Read More »

113

STACS
2000
Springer

101views Theoretical Computer Science» more STACS 2000»

Hereditary History Preserving Bisimilarity Is Undecidable

15 years 7 months ago

Hereditary History Preserving Bisimilarity Is Undecidable

Download www.brics.dk

Marcin Jurdzinski, Mogens Nielsen

claim paper

Read More »

117

COCOON
1995
Springer

136views Combinatorics» more COCOON 1995»

Dense Packings of 3k(k+1)+1 Equal Disks in a Circle for k=1, 2, 3, 4 and 5

15 years 7 months ago

Dense Packings of 3k(k+1)+1 Equal Disks in a Circle for k=1, 2, 3, 4 and 5

Download www.math.ucsd.edu

Boris D. Lubachevsky, Ronald L. Graham

claim paper

Read More »

138

STACS
2000
Springer

79views Theoretical Computer Science» more STACS 2000»

Simulation and Bisimulation over One-Counter Processes

15 years 7 months ago

Simulation and Bisimulation over One-Counter Processes

Download www.fi.muni.cz

Petr Jancar, Antonín Kucera, Faron Moller

claim paper

Read More »

113

STACS
2000
Springer

94views Theoretical Computer Science» more STACS 2000»

The Complexity of Poor Man's Logic

15 years 7 months ago

The Complexity of Poor Man's Logic

Download www.illc.uva.nl

Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, , 3, and 2. Previous...

Edith Hemaspaandra

claim paper

Read More »