Sciweavers

421 search results - page 6 / 85

» CSL

27

CSL
2000
Springer

101views Automated Reasoning» more CSL 2000»

Schema Revisited

14 years 23 days ago

Schema Revisited

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

23

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

14 years 21 days ago

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Bernhard Reus

claim paper

Read More »

21

CSL
1999
Springer

82views Automated Reasoning» more CSL 1999»

14 years 21 days ago

Download www.cs.uu.nl

Aart Middeldorp

claim paper

Read More »

22

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

14 years 21 days 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 »

22

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

14 years 20 days 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 »