Sciweavers

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

7

LICS
2003
IEEE

favoriteEmaildiscussreport

85views Automated Reasoning» more LICS 2003»

A Proof Theory for Generic Judgments: An extended abstract

13 years 9 months ago

A Proof Theory for Generic Judgments: An extended abstract

Download www.lix.polytechnique.fr

Dale Miller, Alwen Fernanto Tiu

Real-time Traffic

Computer Science | LICS 2003 |

claim paper

Related Content

» A Logic for Reasoning about Generic Judgments

» Combining generic judgments with recursive definitions

» Reasoning with hypothetical judgments and open terms in hybrid

» Nominal Reasoning Techniques in Coq Extended Abstract

» Extending Sledgehammer with SMT Solvers

» Translating specifications from nominal logic to CIC with the theory of contexts

» A MachineChecked Theory of Floating Point Arithmetic

» Common subproofs in proof pairs

» An Infrastructure for Intertheory Reasoning

Post Info
More Details (n/a)

Added	05 Jul 2010
Updated	05 Jul 2010
Type	Conference
Year	2003
Where	LICS
Authors	Dale Miller, Alwen Fernanto Tiu

Comments (0)