Back to Results
First PageMeta Content
Proof theory / Propositional calculus / Non-classical logic / Deduction / Automated theorem proving / Sequent calculus / Natural deduction / Admissible rule / Intuitionistic logic / Logic / Mathematical logic / Mathematics


A Tutorial on Proof Theoretic Foundations of Logic Programming
Add to Reading List

Document Date: 2005-09-20 10:33:36

Open Document

File Size: 171,44 KB

Share Result on Facebook

City

Dresden / /

/

IndustryTerm

possible solution / search space / cut elimination algorithm / proof search / proof search space / /

OperatingSystem

Sequent / /

Person

Alessio Guglielmi / Alessio Guglielmi Technische Universit / Paola Bruscoli / /

Position

representative / logic programming language designer / /

ProgrammingLanguage

Prolog / R / L / /

Technology

cut elimination algorithm / functional programming / /

SocialTag