Sciweavers

3719 search results - page 12 / 744

» order 2010

59

FIRA
2010
Springer

143views Robotics» more FIRA 2010»

Ordering of Robotic Navigational Tasks in Home Environment

14 years 9 months ago

Ordering of Robotic Navigational Tasks in Home Environment

Download agrosy.informatik.uni-kl.de

Syed Atif Mehdi, Karsten Berns

claim paper

Read More »

32

CORR
2010
Springer

45views Education» more CORR 2010»

Algebraic Linear Orderings

14 years 9 months ago

Algebraic Linear Orderings

Download www.inf.u-szeged.hu

Stephen L. Bloom, Zoltán Ésik

claim paper

Read More »

40

CORR
2010
Springer

87views Education» more CORR 2010»

Roberts' Theorem with Neutrality: A Social Welfare Ordering Approach

14 years 9 months ago

Roberts' Theorem with Neutrality: A Social Welfare Ordering Approach

Download www.isid.ac.in

Debasis Mishra, Arunava Sen

claim paper

Read More »

33

CORR
2010
Springer

46views Education» more CORR 2010»

Realizability algebras: a program to well order R

14 years 9 months ago

Realizability algebras: a program to well order R

Download www.pps.jussieu.fr

Jean-Louis Krivine

claim paper

Read More »

55

CORR
2010
Springer

137views Education» more CORR 2010»

Positive Supercompilation for a Higher-Order Call-By-Value Language

14 years 9 months ago

Positive Supercompilation for a Higher-Order Call-By-Value Language

Download epubl.ltu.se

Peter A. Jonsson, Johan Nordlander

claim paper

Read More »

« Prev « First page 12 / 744 Last » Next »