Collaborated with:
∅
Talks about:
syntact (1) sequent (1) elimin (1) induc (1) index (1) nest (1) cut (1)
Person: Revantha Ramanayake
DBLP: Ramanayake:Revantha
Contributed to:
Wrote 1 papers:
- IJCAR-2016-Ramanayake
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (RR), pp. 416–432.