Jimmy Thomson

From MaRDI portal
Person:2908500

Available identifiers

zbMath Open thomson.jimmyMaRDI QIDQ2908500

List of research outcomes





PublicationDate of PublicationType
A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC2020-04-06Paper
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description2014-09-26Paper
Implementing Tableau Calculi Using BDDs: BDDTab System Description2014-09-26Paper
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description2013-06-14Paper
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics2012-09-05Paper

Research outcomes over time

This page was built for person: Jimmy Thomson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2908500&oldid=7625252"
Powered by MediaWiki