Sciweavers

14 search results - page 1 / 3

» csl 1999

159

CSL
1999
Springer

82views Automated Reasoning» more CSL 1999»

15 years 12 months ago

Download www.cs.uu.nl

Aart Middeldorp

claim paper

Read More »

156

Voted

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

15 years 12 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 »

199

CSL
1999
Springer

144views Automated Reasoning» more CSL 1999»

Confidence measures from local posterior probability estimates

15 years 7 months ago

Confidence measures from local posterior probability estimates

Download homepages.inf.ed.ac.uk

Gethin Williams, Steve Renals

claim paper

Read More »

181

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 12 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 »

179

CSL
1999
Springer

97views Automated Reasoning» more CSL 1999»

A P-Time Completeness Proof for Light Logics

15 years 7 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 »