Sciweavers

9 search results - page 1 / 2

» mlq 1998

23

MLQ
1998

59views more MLQ 1998»

On Shattering, Splitting and Reaping Partitions

13 years 10 months ago

On Shattering, Splitting and Reaping Partitions

Download www.iam.unibe.ch

Lorenz Halbeisen

claim paper

Read More »

22

MLQ
1998

71views more MLQ 1998»

Grasping Infinity by Finite Sets

13 years 10 months ago

Grasping Infinity by Finite Sets

Download www.dmi.unisa.it

Ferrante Formato, Giangiacomo Gerla

claim paper

Read More »

31

MLQ
1998

70views more MLQ 1998»

Elementary Properties of the Finite Ranks

13 years 10 months ago

Elementary Properties of the Finite Ranks

Download www.haverford.edu

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

claim paper

Read More »

28

MLQ
1998

74views more MLQ 1998»

Disjoint Unions of Topological Spaces and Choice

13 years 10 months ago

Disjoint Unions of Topological Spaces and Choice

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 »

30

MLQ
1998

61views more MLQ 1998»

Extracting Algorithms from Intuitionistic Proofs

13 years 10 months ago

Extracting Algorithms from Intuitionistic Proofs

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 »