Cut-elimination and Redundancy-elimination by Resolution

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Journal of Symbolic Computation

Abbreviated Title: Journal of Symbolic Computation

Publisher: Elsevier BV

ISSN (Print): 07477171

Publication date Created: February 2000

Publication date (Print): February 2000

Volume: 29

Issue: 2

Pages: 149-176

Article

DOI: 10.1006/jsco.1999.0359

SO-VID: 7e142c5b-8fb4-46a2-8fe9-c22f504c294c

License:

http://www.elsevier.com/tdm/userlicense/1.0/

http://www.elsevier.com/open-access/userlicense/1.0/

History

Data availability:

Comments

Comment on this article

scite_

Cited by 13

System Description: GAPT 2.0
Authors: Gabriel Ebner, Stefan Hetzl, Giselle Reis …
Extraction of Expansion Trees
Authors: Alexander Leitsch, Anela Lolic
Proof Transformation by CERES
Authors: Matthias Baaz, Stefan Hetzl, Alexander Leitsch …

See all cited by