scientific article; zbMATH DE number 5872252

zbMATH Open1226.03011MaRDI QIDQ3086772FDOQ3086772

Authors: Peter B. Andrews 

Publication date: 30 March 2011

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 177784
• Resolution and type theory
• A type-theoretic approach to resolution
• scientific article; zbMATH DE number 4195904
• A typed resolution principle for deduction with conditional typing theory
• scientific article; zbMATH DE number 1614692
• Automated proof construction in type theory using resolution
• An algebraic semantics approach to the effective resolution of type equations
• scientific article; zbMATH DE number 1342247
• Coinductive soundness of corecursive type class resolution

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Combinatory logic and lambda calculus (03B40)

Cited In (2)

• Splitting and reduction heuristics in automatic theorem proving
• Resolution and type theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3086772)