Search Sciweavers | Sciweavers

49 search results - page 2 / 10

» apal 2006

click to vote

APAL
2006

45views more APAL 2006»

Programming interfaces and basic topology

13 years 4 months ago

Download www.lama.univ-savoie.fr

Peter Hancock, Pierre Hyvernat

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

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

Download www.cmi.univ-mrs.fr

S. Fratani, Géraud Sénizergues

claim paper

Read More »

click to vote

APAL
2006

52views more APAL 2006»

A globalisation of the Gelfand duality theorem

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers