Search Sciweavers | Sciweavers

17920 search results - page 148 / 3584

» Recentering computer science

click to vote

MFCS
1998
Springer

75views Theoretical Computer Science» more MFCS 1998»

On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations

15 years 8 months ago

Download www.lix.polytechnique.fr

Miki Hermann, Gernot Salzer

claim paper

Read More »

108

click to vote

MFCS
1998
Springer

75views Theoretical Computer Science» more MFCS 1998»

Timed Bisimulation and Open Maps

15 years 8 months ago

Download www.brics.dk

Thomas Hune, Mogens Nielsen

claim paper

Read More »

click to vote

MFCS
1998
Springer

83views Theoretical Computer Science» more MFCS 1998»

The Joys of Bisimulation

15 years 8 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

102

click to vote

RANDOM
1998
Springer

82views Theoretical Computer Science» more RANDOM 1998»

Randomized Lower Bounds for Online Path Coloring

15 years 8 months ago

Download www.dis.uniroma1.it

Stefano Leonardi, Andrea Vitaletti

claim paper

Read More »

click to vote

RELMICS
1998
Springer

85views Theoretical Computer Science» more RELMICS 1998»

Modal and temporal operators on partial orders

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers