Sciweavers

421 search results - page 6 / 85

» CSL

95

CSL
2000
Springer

101views Automated Reasoning» more CSL 2000»

Schema Revisited

15 years 7 months ago

Schema Revisited

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

91

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

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

93

CSL
1999
Springer

82views Automated Reasoning» more CSL 1999»

15 years 7 months ago

Download www.cs.uu.nl

Aart Middeldorp

claim paper

Read More »

119

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 7 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
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

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