Switch to: References

Add citations

You must login to add citations.
  1. Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.Franco Parlamento & Flavio Previale - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 161--172.
    Download  
     
    Export citation  
     
    Bookmark