Biblioteca Digital

40 resultados para Linear logic

TR-2010009: Solving Linear Systems with Randomized Augmentation II

Relevância:

20.00% 20.00%

Publicador:

TR-2010012: Randomized Preconditioning of Linear Systems of Equations

Relevância:

20.00% 20.00%

Publicador:

TR-2010014: A Complexity Question in Justification Logic

Relevância:

20.00% 20.00%

Publicador:

TR-2011002: Symbolic Lifting for Structured Linear Systems of Equations: Numerical Initialization, Nearly Optimal Boolean Cost, Variations, and Extensions

Relevância:

20.00% 20.00%

Publicador:

TR-2011005: First-Order Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2011009: Solving Linear Systems of Equations with Randomized Augmentation and Aggregation

Relevância:

20.00% 20.00%

Publicador:

TR-2012004: Solving Linear Systems of Equations with Randomization, Augmentation and Aggregation

Relevância:

20.00% 20.00%

Publicador:

TR-2012007: Solving Linear Systems of Equations with Randomization, Augmentation and Aggregation II

Relevância:

20.00% 20.00%

Publicador:

TR-2014003: On the Complexity of Two-Agent Justification Logic

Relevância:

20.00% 20.00%

Publicador:

TR-2014010: Intuitionistic Epistemic Logic

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
»