Search Sciweavers | Sciweavers

18 search results - page 1 / 4

» stacs 2000

click to vote

STACS
2000
Springer

76views Theoretical Computer Science» more STACS 2000»

Logics Capturing Local Properties

13 years 8 months ago

Download homepages.inf.ed.ac.uk

Leonid Libkin

claim paper

Read More »

click to vote

STACS
2000
Springer

75views Theoretical Computer Science» more STACS 2000»

Succinct Representations of Model Based Belief Revision

13 years 8 months ago

Download www.dia.unisa.it

Paolo Penna

claim paper

Read More »

click to vote

STACS
2000
Springer

101views Theoretical Computer Science» more STACS 2000»

Hereditary History Preserving Bisimilarity Is Undecidable

13 years 8 months ago

Download www.brics.dk

Marcin Jurdzinski, Mogens Nielsen

claim paper

Read More »

click to vote

STACS
2000
Springer

109views Theoretical Computer Science» more STACS 2000»

The CNN Problem and Other k-Server Variants

13 years 8 months ago

Download cgi.di.uoa.gr

Elias Koutsoupias, David Scot Taylor

claim paper

Read More »

click to vote

STACS
2000
Springer

79views Theoretical Computer Science» more STACS 2000»

Simulation and Bisimulation over One-Counter Processes

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers