Axiom Pinpointing in General Tableaux

Overview of attention for article published in Journal of Logic & Computation, November 2008

Altmetric Badge

Mentioned by

So far, Altmetric has seen 3 X posts from 3 X users, with an upper bound of 49,371 followers.

Developing a general approach for extending a tableau-based algorithm to a pinpointing algorithm #SummerofLogic http://t.co/M78ykhca3e

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.