Search Sciweavers | Sciweavers

2152 search results - page 10 / 431

» On Automating the Calculus of Relations

click to vote

CSL
1999
Springer

139views Automated Reasoning» more CSL 1999»

Anti-Symmetry of Higher-Order Subtyping

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

click to vote

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

14 years 4 days ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

click to vote

KR
2010
Springer

225views Automated Reasoning» more KR 2010»

State Defaults and Ramifications in the Unifying Action Calculus

14 years 4 days ago

Download www.informatik.uni-leipzig.de

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

claim paper

Read More »

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

13 years 11 months ago

Download www.cs.ucla.edu

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

claim paper

Read More »

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers