Search Sciweavers | Sciweavers

9 search results - page 1 / 2

» mlq 1998

Voted

MLQ
1998

59views more MLQ 1998»

On Shattering, Splitting and Reaping Partitions

14 years 11 months ago

Download www.iam.unibe.ch

Lorenz Halbeisen

claim paper

Read More »

Voted

MLQ
1998

71views more MLQ 1998»

Grasping Infinity by Finite Sets

14 years 11 months ago

Download www.dmi.unisa.it

Ferrante Formato, Giangiacomo Gerla

claim paper

Read More »

Voted

MLQ
1998

70views more MLQ 1998»

Elementary Properties of the Finite Ranks

14 years 11 months ago

Download www.haverford.edu

Anuj Dawar, Kees Doets, Steven Lindell, Scott Wein...

claim paper

Read More »

Voted

MLQ
1998

74views more MLQ 1998»

Disjoint Unions of Topological Spaces and Choice

14 years 11 months ago

Download www.math.purdue.edu

We ﬁnd properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.

Paul E. Howard, Kyriakos Keremedis, Herman Rubin, ...

claim paper

Read More »

Voted

MLQ
1998

61views more MLQ 1998»

Extracting Algorithms from Intuitionistic Proofs

14 years 11 months ago

Download www.ciul.ul.pt

This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of ...

Fernando Ferreira, António Marques

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers