Back to Results
First PageMeta Content
Automated theorem proving / Logic programming / Unification / Sheaf / Admissible rule / Lambda calculus / Natural deduction / Envelope / Mathematical logic / Mathematics / Logic


Document Date: 2001-01-02 17:36:39

Open Document

File Size: 168,68 KB

Share Result on Facebook

/

Facility

Computer Science Carnegie Mellon University / /

IndustryTerm

incomplete algorithm / present algorithms / unification algorithm / pre-unification algorithm / preunification algorithms / anti-unification algorithm / The unification algorithm / parentheses surrounding applications / proof search / /

Organization

Constructions Frank Pfenning School of Computer Science Carnegie Mellon University Pittsburgh / /

Person

Ai / Pat Figure / /

Position

Mp / author / equal head / head / /

ProgrammingLanguage

Prolog / /

ProvinceOrState

Pennsylvania / /

Technology

fp@cs.cmu.edu Abstract We present algorithms / preunification algorithms / anti-unification algorithm / dom / pre-unification algorithm / The unification algorithm / artificial intelligence / unification algorithm / though incomplete algorithm / /

SocialTag