Search Sciweavers | Sciweavers

290 search results - page 11 / 58

» entcs 2006

click to vote

ENTCS
2006

104views more ENTCS 2006»

Synthesising Features by Games

14 years 10 months ago

Download www.math.bas.bg

Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves S...

claim paper

Read More »

click to vote

ENTCS
2006

103views more ENTCS 2006»

Incremental Confined Types Analysis

14 years 10 months ago

Download www.st.informatik.tu-darmstadt.de

Michael Eichberg, Sebastian Kanthak, Sven Kloppenb...

claim paper

Read More »

click to vote

ENTCS
2006

125views more ENTCS 2006»

On Timed Models and Full Abstraction

14 years 10 months ago

Download www.comlab.ox.ac.uk

models and full abstraction Gavin Lowe and Jo

Gavin Lowe, Joël Ouaknine

claim paper

Read More »

click to vote

ENTCS
2006

110views more ENTCS 2006»

The Linear Logical Abstract Machine

14 years 10 months ago

Download www.lifia.info.unlp.edu.ar

ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform

Eduardo Bonelli

claim paper

Read More »

click to vote

ENTCS
2006

106views more ENTCS 2006»

Probabilistic Observations and Valuations: (Extended Abstract)

14 years 10 months ago

Download homepages.inf.ed.ac.uk

d Abstract) 1 Matthias Schr

Matthias Schröder, Alex Simpson

claim paper

Read More »

« Prev « First page 11 / 58 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers