Search Sciweavers | Sciweavers

15 search results - page 1 / 3

» tamc 2010

click to vote

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

13 years 8 months ago

Download www.informatik.uni-bremen.de

Olaf Beyersdorff

claim paper

Read More »

click to vote

TAMC
2010
Springer

219views Applied Computing» more TAMC 2010»

Different Approaches to Proof Systems

13 years 2 months ago

Download www.thi.uni-hannover.de

Olaf Beyersdorff, Sebastian Müller

claim paper

Read More »

click to vote

TAMC
2010
Springer

229views Applied Computing» more TAMC 2010»

Revisiting the Minimum Breakpoint Linearization Problem

13 years 2 months ago

Download hal.archives-ouvertes.fr

Laurent Bulteau, Guillaume Fertin, Irena Rusu

claim paper

Read More »

click to vote

TAMC
2010
Springer

239views Applied Computing» more TAMC 2010»

Complexity of Paths, Trails and Circuits in Arc-Colored Digraphs

13 years 9 months ago

Download www.ic.uff.br

Laurent Gourvès, Adria Lyra, Carlos A. J. M...

claim paper

Read More »

click to vote

TAMC
2010
Springer

248views Applied Computing» more TAMC 2010»

The Max k-Cut Game and Its Strong Equilibria

13 years 9 months ago

Download www.lamsade.dauphine.fr

An instance of the max k−cut game is an edge weighted graph. Every

Laurent Gourvès, Jérôme Monnot

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers