2 results
Towards an algorithmic construction of cut-elimination procedures†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 1 / February 2008
- Published online by Cambridge University Press:
- 01 February 2008, pp. 81-105
-
- Article
- Export citation
Resolution theorem proving: a logical point of view
- from TUTORIALS
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 3-42
-
- Chapter
- Export citation