scientific article

zbMath1278.03063MaRDI QIDQ2871877

Xi Li, Brigitte Pientka, Florent Pompigne

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108000406?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem provingtype theorylogical frameworks

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method

This page was built for publication: