scientific article; zbMATH DE number 5544027

MaRDI QIDQ3621271zbMATH OpenFDO

Authors Sun-Joo Shin

Publication date 15 April 2009

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99)

Cited in

(6)

• Speedith: a reasoner for spider diagrams
• scientific article; zbMATH DE number 3946122 (Why is no real title available?)
• scientific article; zbMATH DE number 2086763 (Why is no real title available?)
• scientific article; zbMATH DE number 1862470 (Why is no real title available?)
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• Epistemic roles of diagrams in short proofs

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 Q3621271)