Sciweavers

2225 search results - page 40 / 445

» Logical Structures in the Lexicon

87

ENTCS
2008

97views more ENTCS 2008»

Structured Types and Separation Logic

15 years 3 months ago

Structured Types and Separation Logic

Download www.ertos.nicta.com.au

Harvey Tuch

claim paper

Read More »

83

IJFCS
2008

63views more IJFCS 2008»

A Normal Form for First-Order Logic over Doubly-Linked Data Structures

15 years 3 months ago

A Normal Form for First-Order Logic over Doubly-Linked Data Structures

Download www.newton.ac.uk

Steven Lindell

claim paper

Read More »

106

JSYML
2007

43views more JSYML 2007»

Successor-invariant first-order logic on finite structures

15 years 3 months ago

Successor-invariant first-order logic on finite structures

Download www.mit.edu

Benjamin Rossman

claim paper

Read More »

95

IANDC
2000

70views more IANDC 2000»

Structural Cut Elimination: I. Intuitionistic and Classical Logic

15 years 2 months ago

Structural Cut Elimination: I. Intuitionistic and Classical Logic

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

113

MPC
2000
Springer

113views Mathematics» more MPC 2000»

Proving Pointer Programs in Hoare Logic

15 years 6 months ago

Proving Pointer Programs in Hoare Logic

Download www.eis.mdx.ac.uk

It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...

Richard Bornat

claim paper

Read More »

« Prev « First page 40 / 445 Last » Next »