Theoretical Computer Science

76

click to vote

CSR
2008
Springer

86views Theoretical Computer Science» more CSR 2008»

The saga of minimum spanning trees

14 years 11 months ago

Download www.elsevier.com

Martin Mares

claim paper

Read More »

85

click to vote

CSR
2008
Springer

93views Theoretical Computer Science» more CSR 2008»

A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics

14 years 11 months ago

Download www.cs.tau.ac.il

An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...

Arnon Avron, Anna Zamansky

claim paper

Read More »

71

Voted

CSE
2008
IEEE

113views Theoretical Computer Science» more CSE 2008»

Provenance: The Bridge Between Experiments and Data

14 years 11 months ago

Download users.ecs.soton.ac.uk

to compile abstract experiment designs into enactable workflows that utilise the best available resources. The automation of this step and of the workflow enactment, hides the deta...

Simon Miles, Paul T. Groth, Ewa Deelman, Karan Vah...

claim paper

Read More »

72

Voted

CSE
2008
IEEE

68views Theoretical Computer Science» more CSE 2008»

A Shared, Interinstitutional Undergraduate Minor Program in Computational Science

14 years 11 months ago

Download www.osc.edu

Steven I. Gordon, Kate Carey, Ignatios Vakalis

claim paper