MUltseq: Sequents, Equations and Beyond Angel Gil Universitat Pompeu Fabra - Cut rule - Document - PDFSEARCH.IO

First Page	Meta Content
	MUltseq: Sequents, Equations and Beyond Angel Gil Universitat Pompeu Fabra Add to Reading List Document Date: 2001-07-23 13:40:10 Open Document File Size: 91,62 KB Share Result on Facebook Company CNF / / IndustryTerm optimization algorithms / / OperatingSystem Sequent / / Organization Universitat Pompeu Fabra / / Person Angel Gil Universitat Pompeu Fabra Gernot / / Position MUltlog Sequent Editor / / ProgrammingLanguage LATEX / / Technology Ascii / optimization algorithms / Java / / SocialTag Mathematics Sequent calculus Sequent Cut-elimination theorem Admissible rule Natural deduction Mathematical logic Proof theory Logic

MUltseq: Sequents, Equations and Beyond Angel Gil Universitat Pompeu FabraAdd to Reading List