On Structuring Proof Search for First Order Linear Logic - First-order logic - Document - PDFSEARCH.IO

First Page	Meta Content
	On Structuring Proof Search for First Order Linear Logic Add to Reading List Document Date: 2012-01-04 16:21:31 Open Document File Size: 252,11 KB Share Result on Facebook City Dresden / / / IndustryTerm obvious algorithm / order formal systems / search space / proof search / / Person Alessio Guglielmi Technische Universit / Paola Bruscoli / / Position following head / head / degenerate head / representative / / ProgrammingLanguage L / / ProvinceOrState Oregon / / Technology obvious algorithm / / SocialTag Mathematics Automated theorem proving Sequent calculus Linear logic Symbol Spectral theory of ordinary differential equations Mathematical logic Logic Proof theory

On Structuring Proof Search for First Order Linear LogicAdd to Reading List