On Herbrand’s Theorem Samuel R. Buss University of California, San Diego - Herbrandization - Document - PDFSEARCH.IO

First Page	Meta Content
	On Herbrand’s Theorem Samuel R. Buss University of California, San Diego Add to Reading List Document Date: 2002-06-25 19:08:00 Open Document File Size: 148,80 KB Share Result on Facebook City Jolla / / Country United States / / Currency pence / / Facility Buss University of California / / IndustryTerm unification algorithm / linear-time algorithm / proof systems / / Organization Herbrand’s Theorem Samuel R. Buss University / National Science Foundation / University of California / San Diego / / Person Herbrand / / Position author / forward / / ProvinceOrState California / / Technology following algorithm / linear-time algorithm / unification algorithm / / SocialTag Model theory Predicate logic Metalogic Herbrandization First-order logic Sequent calculus Skolem normal form Well-formed formula Prenex normal form Logic

On Herbrand’s Theorem Samuel R. Buss University of California, San DiegoAdd to Reading List