Sciweavers

84 search results - page 4 / 17

» corr 2009

11

CORR
2009
Springer

68views Education» more CORR 2009»

How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model

13 years 5 months ago

How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model

Download cogprints.org

Stefan Leijnen, Liane Gabora

claim paper

Read More »

13

CORR
2009
Springer

88views Education» more CORR 2009»

An Inverse Method for Policy-Iteration Based Algorithms

13 years 5 months ago

An Inverse Method for Policy-Iteration Based Algorithms

Download www.lsv.ens-cachan.fr

Laurent Fribourg, Étienne André

claim paper

Read More »

13

CORR
2009
Springer

62views Education» more CORR 2009»

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

13 years 5 months ago

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel

claim paper

Read More »

15

CORR
2009
Springer

86views Education» more CORR 2009»

Stream Productivity by Outermost Termination

13 years 5 months ago

Stream Productivity by Outermost Termination

Download www.win.tue.nl

Hans Zantema, Matthias Raffelsieper

claim paper

Read More »

14

CORR
2009
Springer

69views Education» more CORR 2009»

Extending Context-Sensitivity in Term Rewriting

13 years 5 months ago

Extending Context-Sensitivity in Term Rewriting

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

« Prev « First page 4 / 17 Last » Next »