Sciweavers

3719 search results - page 12 / 744

» order 2010

24

FIRA
2010
Springer

143views Robotics» more FIRA 2010»

Ordering of Robotic Navigational Tasks in Home Environment

13 years 10 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 »

12

CORR
2010
Springer

45views Education» more CORR 2010»

Algebraic Linear Orderings

13 years 10 months ago

Algebraic Linear Orderings

Download www.inf.u-szeged.hu

Stephen L. Bloom, Zoltán Ésik

claim paper

Read More »

20

CORR
2010
Springer

87views Education» more CORR 2010»

Roberts' Theorem with Neutrality: A Social Welfare Ordering Approach

13 years 10 months ago

Roberts' Theorem with Neutrality: A Social Welfare Ordering Approach

Download www.isid.ac.in

Debasis Mishra, Arunava Sen

claim paper

Read More »

11

CORR
2010
Springer

46views Education» more CORR 2010»

Realizability algebras: a program to well order R

13 years 10 months ago

Realizability algebras: a program to well order R

Download www.pps.jussieu.fr

Jean-Louis Krivine

claim paper

Read More »

29

CORR
2010
Springer

137views Education» more CORR 2010»

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

13 years 10 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 »