Sciweavers

14 search results - page 1 / 3

» csl 1999

80

Voted

CSL
1999
Springer

82views Automated Reasoning» more CSL 1999»

15 years 5 months ago

Download www.cs.uu.nl

Aart Middeldorp

claim paper

Read More »

76

Voted

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

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

105

Voted

CSL
1999
Springer

144views Automated Reasoning» more CSL 1999»

Confidence measures from local posterior probability estimates

15 years 22 days ago

Confidence measures from local posterior probability estimates

Download homepages.inf.ed.ac.uk

Gethin Williams, Steve Renals

claim paper

Read More »

96

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

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

98

Voted

CSL
1999
Springer

97views Automated Reasoning» more CSL 1999»

A P-Time Completeness Proof for Light Logics

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