Sciweavers

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

28

IGPL
2002

favoriteEmaildiscussreport

80views more IGPL 2002»

Ultimate Normal Forms for Parallelized Natural Deductions

13 years 10 months ago

Ultimate Normal Forms for Parallelized Natural Deductions

Download people.cohums.ohio-state.edu

The system of natural deduction that originated with Gentzen (1934

Neil Tennant

Real-time Traffic

IGPL 2002 | Natural Deductions | Normal Forms | Sequent Proofs |

claim paper

Related Content

» Rewriting for Fitch Style Natural Deductions

» Systematic Construction of Natural Deduction Systems for ManyValued Logics

» Parsing as Natural Deduction

» Definitions by Rewriting in the Calculus of Constructions

» On Positive Relational Calculi

» The 2SAT Problem of Regular Signed CNF Formulas

» A Local NormalBased Region Term for Active Contours

» LivenessPreserving Simulation Relations

» On Expressing and Monitoring Behaviour in Contracts

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2002
Where	IGPL
Authors	Neil Tennant

Comments (0)