Search Sciweavers | Sciweavers

1717 search results - page 23 / 344

» A Computable Spectral Theorem

click to vote

FOCS
2005
IEEE

79views Theoretical Computer Science» more FOCS 2005»

Quantum Information and the PCP Theorem

15 years 9 months ago

Download www.wisdom.weizmann.ac.il

Ran Raz

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

93views Applied Computing» more BIRTHDAY 2005»

Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem

15 years 9 months ago

Download hal.archives-ouvertes.fr

Paul-André Melliès

claim paper

Read More »

109

click to vote

CONCUR
1999
Springer

85views Distributed And Parallel Com...» more CONCUR 1999»

Event Structures as Presheaves -Two Representation Theorems

15 years 8 months ago

Download www.brics.dk

Glynn Winskel

claim paper

Read More »

110

click to vote

CONCUR
1993
Springer

101views Distributed And Parallel Com...» more CONCUR 1993»

An Elimination Theorem for Regular Behaviours with Integration

15 years 7 months ago

Download www.cs.vu.nl

Wan Fokkink

claim paper

Read More »

107

click to vote

STACS
1993
Springer

84views Theoretical Computer Science» more STACS 1993»

A Decomposition Theorem for Probabilistic Transition Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers