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 10 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 10 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 10 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 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers