Search Sciweavers | Sciweavers

2152 search results - page 10 / 431

» On Automating the Calculus of Relations

143

click to vote

CSL
1999
Springer

139views Automated Reasoning» more CSL 1999»

Anti-Symmetry of Higher-Order Subtyping

15 years 8 months ago

Download www.cs.stevens.edu

This paper gives the ﬁrst proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...

Adriana B. Compagnoni, Healfdene Goguen

claim paper

Read More »

135

click to vote

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

15 years 8 months ago

Download www.dis.uniroma1.it

Giuseppe De Giacomo, Yves Lespérance, Adria...

claim paper

Read More »

132

Voted

KR
2010
Springer

225views Automated Reasoning» more KR 2010»

State Defaults and Ramifications in the Unifying Action Calculus

15 years 8 months ago

Download www.informatik.uni-leipzig.de

Ringo Baumann, Gerhard Brewka, Hannes Strass, Mich...

claim paper

Read More »

107

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

15 years 8 months ago

Download www.cs.ucla.edu

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

claim paper

Read More »

Voted

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers