Search Sciweavers | Sciweavers

2272 search results - page 163 / 455

» A Calculus for

105

Voted

JSYML
2008

73views more JSYML 2008»

Examining fragments of the quantified propositional calculus

15 years 4 months ago

Download www.cs.toronto.edu

When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...

Steven Perron

claim paper

Read More »

click to vote

ECCC
2007

82views more ECCC 2007»

Extending Polynomial Calculus to $k$-DNF Resolution

15 years 4 months ago

Download www.dsi.uniroma1.it

Nicola Galesi, Massimo Lauria

claim paper

Read More »

106

click to vote

LOGCOM
2008

79views more LOGCOM 2008»

General Models and Completeness of First-Order Modal µ-calculus

15 years 4 months ago

Download dspace.wul.waseda.ac.jp

Ryo Kashima, Keishi Okamoto

claim paper

Read More »

130

click to vote

ENTCS
2007

113views more ENTCS 2007»

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

15 years 4 months ago

Download www.cs.bu.edu

We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...

Kevin Donnelly, Hongwei Xi

claim paper

Read More »

107

click to vote

ENTCS
2007

86views more ENTCS 2007»

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers