Search Sciweavers | Sciweavers

10392 search results - page 126 / 2079

» Introduction to Computer Science

click to vote

TLCA
2007
Springer

154views Theoretical Computer Science» more TLCA 2007»

On a Logical Foundation for Explicit Substitutions

15 years 4 months ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

click to vote

WG
2007
Springer

101views Theoretical Computer Science» more WG 2007»

Graph Operations Characterizing Rank-Width and Balanced Graph Expressions

15 years 4 months ago

Download www.isima.fr

Bruno Courcelle, Mamadou Moustapha Kanté

claim paper

Read More »

click to vote

WG
2007
Springer

75views Theoretical Computer Science» more WG 2007»

On Restrictions of Balanced 2-Interval Graphs

15 years 4 months ago

Download philippe.gambette.free.fr

Philippe Gambette, Stéphane Vialette

claim paper

Read More »

click to vote

WG
2007
Springer

87views Theoretical Computer Science» more WG 2007»

Approximation Algorithms for Geometric Intersection Graphs

15 years 4 months ago

Download www.cs.le.ac.uk

Klaus Jansen

claim paper

Read More »

click to vote

WG
2007
Springer

75views Theoretical Computer Science» more WG 2007»

Monotonicity of Non-deterministic Graph Searching

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers