Back to Results
First PageMeta Content
Proof theory / Model theory / Logic in computer science / Automated theorem proving / Metalogic / Curry–Howard correspondence / Natural deduction / Admissible rule / Sequent calculus / Logic / Mathematical logic / Mathematics


Document Date: 2002-09-05 11:32:52

Open Document

File Size: 245,65 KB

Share Result on Facebook

Currency

pence / /

Facility

Information Science University of Pennsylvania Philadelphia / /

IndustryTerm

sequent calculus proof systems / unification algorithm / search operations / legal solution / /

Organization

Computer and Information Science University of Pennsylvania Philadelphia / Σ0 / Lambda-Abstraction / Function Variables / and Simple Unification Dale Miller Department of Computer / /

Person

Dale Miller / /

Position

algorithm and logic programming interpreter / head / non-deterministic interpreter / actual deterministic interpreter / interpreter / /

Product

Pentax K-x Digital Camera / /

ProgrammingLanguage

ML / Prolog / Pascal / Lisp / L / /

ProvinceOrState

Pennsylvania / /

Technology

unification algorithm / /

SocialTag