Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

JSC
2000

favoriteEmaildiscussreport

66views more JSC 2000»

Cut-elimination and Redundancy-elimination by Resolution

13 years 4 months ago

Cut-elimination and Redundancy-elimination by Resolution

Download folli.loria.fr

Matthias Baaz, Alexander Leitsch

Real-time Traffic

JSC 2000 |

claim paper

Related Content

» System Description CutRes 01 Cut Elimination by Resolution

» A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards

» A Resolution Decision Procedure for the Guarded Fragment

» A Superposition Decision Procedure for the Guarded Fragment with Equality

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	JSC
Authors	Matthias Baaz, Alexander Leitsch

Comments (0)