UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Sequent calculi for induction and infinite descent

Brotherston, J; Simpson, A; (2011) Sequent calculi for induction and infinite descent. JOURNAL OF LOGIC AND COMPUTATION , 21 (6) pp. 1177-1216. 10.1093/logcom/exq052.

Full text not available from this repository.
Type: Article
Title: Sequent calculi for induction and infinite descent
DOI: 10.1093/logcom/exq052
Keywords: Science & Technology, Technology, Computer Science, Theory & Methods, Logic, Computer Science, Science & Technology - Other Topics, Sequent calculus, inductive definitions, infinite descent, cyclic proof, cut-elimination, PROPOSITIONAL MU-CALCULUS, PROOFS, LOGIC, COMPLETENESS, DEFINITIONS
UCL classification: UCL > Office of the President and Provost
UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/1363359
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item