Theoretical Computer Science

21

click to vote

CSR
2008
Springer

86views Theoretical Computer Science» more CSR 2008»

The saga of minimum spanning trees

13 years 7 months ago

Download www.elsevier.com

Martin Mares

claim paper

Read More »

26

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

13 years 7 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 »

19

click to vote

CSE
2008
IEEE

113views Theoretical Computer Science» more CSE 2008»

Provenance: The Bridge Between Experiments and Data

13 years 7 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 »

19

click to vote

CSE
2008
IEEE

68views Theoretical Computer Science» more CSE 2008»

A Shared, Interinstitutional Undergraduate Minor Program in Computational Science

13 years 7 months ago

Download www.osc.edu

Steven I. Gordon, Kate Carey, Ignatios Vakalis

claim paper