Tiu, Alwen

1. Induction and Co-induction in Sequent Calculus
   2008/12/27 by Tiu, Alwen, Momigliano, Alberto · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
   2012/04/11 by Alwen Tiu, Tiu, Alwen, Egor Ianovski +3 · 1 citation
   Computer Science · #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Natural Language Processing Techniques
3. Cut Elimination for a Logic with Generic Judgments and Induction
   2008/01/20 by Alwen Tiu, Tiu, Alwen · 2 citations
   Computer Science · #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems