Sciweavers

14 search results - page 1 / 3

» csl 1999

100

Voted

CSL
1999
Springer

82views Automated Reasoning» more CSL 1999»

15 years 8 months ago

Download www.cs.uu.nl

Aart Middeldorp

claim paper

Read More »

97

Voted

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

15 years 8 months ago

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Bernhard Reus

claim paper

Read More »

131

CSL
1999
Springer

144views Automated Reasoning» more CSL 1999»

Confidence measures from local posterior probability estimates

15 years 3 months ago

Confidence measures from local posterior probability estimates

Download homepages.inf.ed.ac.uk

Gethin Williams, Steve Renals

claim paper

Read More »

122

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 8 months ago

Choice Logic Programs and Nash Equilibria in Strategic Games

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

123

CSL
1999
Springer

97views Automated Reasoning» more CSL 1999»

A P-Time Completeness Proof for Light Logics

15 years 3 months ago

A P-Time Completeness Proof for Light Logics

Download www.di.unito.it

We explain why the original proofs of P-Time completeness for Light Affine Logic and Light Linear Logic can not work, and we fully develop a working one.

Luca Roversi

claim paper

Read More »

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