Search Sciweavers | Sciweavers

13306 search results - page 69 / 2662

» Theoretical Computer Science

click to vote

CSR
2009
Springer

108views Theoretical Computer Science» more CSR 2009»

Compressed Word Problems in HNN-Extensions and Amalgamated Products

15 years 4 months ago

Download www.informatik.uni-leipzig.de

Niko Haubold, Markus Lohrey

claim paper

Read More »

click to vote

CSR
2009
Springer

120views Theoretical Computer Science» more CSR 2009»

One-Nonterminal Conjunctive Grammars over a Unary Alphabet

15 years 4 months ago

Download www.ii.uni.wroc.pl

Artur Jez, Alexander Okhotin

claim paper

Read More »

click to vote

DIS
2009
Springer

95views Theoretical Computer Science» more DIS 2009»

Discovering Abstract Concepts to Aid Cross-Map Transfer for a Learning Agent

15 years 4 months ago

Download www-desir.lip6.fr

Cédric Herpson, Vincent Corruble

claim paper

Read More »

Voted

MFCS
2009
Springer

100views Theoretical Computer Science» more MFCS 2009»

A Dichotomy Theorem for Polynomial Evaluation

15 years 4 months ago

Download perso.ens-lyon.fr

Irénée Briquel, Pascal Koiran

claim paper

Read More »

click to vote

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers