Search Sciweavers | Sciweavers

148 search results - page 2 / 30

» apal 2007

click to vote

APAL
2006

49views more APAL 2006»

The three dimensions of proofs

13 years 4 months ago

Download www.loria.fr

Yves Guiraud

claim paper

Read More »

click to vote

APAL
2006

44views more APAL 2006»

Periodicity based decidable classes in a first order timed logic

13 years 4 months ago

Download lacl.univ-paris12.fr

Danièle Beauquier, Anatol Slissenko

claim paper

Read More »

click to vote

APAL
2006

67views more APAL 2006»

The number of translates of a closed nowhere dense set required to cover a Polish group

13 years 4 months ago

Download www.math.wisc.edu

Arnold W. Miller, Juris Steprans

claim paper

Read More »

click to vote

APAL
2006

41views more APAL 2006»

Strongly uniform bounds from semi-constructive proofs

13 years 4 months ago

Download www.brics.dk

Philipp Gerhardy, Ulrich Kohlenbach

claim paper

Read More »

click to vote

APAL
2006

42views more APAL 2006»

Iterated pushdown automata and sequences of rational numbers

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers