Sciweavers

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

9

AISC
2008
Springer

favoriteEmaildiscussreport

69views Artificial Intelligence» more AISC 2008»

Herbrand Sequent Extraction

13 years 6 months ago

Herbrand Sequent Extraction

Download www.logic.at

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br

Real-time Traffic

AISC 2008 | Artificial Intelligence |

claim paper

Related Content

» Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear ...

» Extracting Herbrand disjunctions by functional interpretation

» On Transforming Intuitionistic Matrix Proofs into StandardSequent Proofs

» How to Universally Close the Existential Rule

» Systematic Construction of Natural Deduction Systems for ManyValued Logics

» leanTAP Revisited

» Proof Search and CounterModel Construction for Biintuitionistic Propositional Logic with L...

» Classical proof forestry

» Interpreting SWRL Rules in RDF Graphs

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	AISC
Authors	Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Comments (0)