Search Sciweavers | Sciweavers

13306 search results - page 38 / 2662

» Theoretical Computer Science

click to vote

RTA
2000
Springer

98views Theoretical Computer Science» more RTA 2000»

Termination and Confluence of Higher-Order Rewrite Systems

14 years 2 months ago

Download www-rocq.inria.fr

Frédéric Blanqui

claim paper

Read More »

click to vote

SPIN
2000
Springer

103views Theoretical Computer Science» more SPIN 2000»

Interaction Abstraction for Compositional Finite State Systems

14 years 2 months ago

Download spinroot.com

Wayne Liu

claim paper

Read More »

click to vote

FOCS
1997
IEEE

87views Theoretical Computer Science» more FOCS 1997»

Undirected Single Source Shortest Path in Linear Time

14 years 2 months ago

Download www.diku.dk

Mikkel Thorup

claim paper

Read More »

click to vote

STACS
2000
Springer

76views Theoretical Computer Science» more STACS 2000»

Logics Capturing Local Properties

14 years 2 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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers