Sciweavers

421 search results - page 6 / 85

» CSL

150

CSL
2000
Springer

101views Automated Reasoning» more CSL 2000»

Schema Revisited

15 years 11 months ago

Schema Revisited

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

155

Voted

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

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

153

Voted

CSL
1999
Springer

82views Automated Reasoning» more CSL 1999»

15 years 11 months ago

Download www.cs.uu.nl

Aart Middeldorp

claim paper

Read More »

178

Voted

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

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

153

Voted

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 11 months ago

Subtyping Functional+Nonempty Record Types

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

« Prev « First page 6 / 85 Last » Next »