3,251 followers
RT @adolfont: New paper that cites my work with M. Finger https://t.co/uf9lZ1eKzA Gen2sat: An Automated Tool for Deciding Derivability in .…
RT @adolfont: New paper that cites my work with M. Finger https://t.co/uf9lZ1eKzA Gen2sat: An Automated Tool for Deciding Derivability in .…
New paper that cites my work with M. Finger https://t.co/uf9lZ1eKzA Gen2sat: An Automated Tool for Deciding Derivability in ...
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi IJCAR https://t.co/HcITPfxLSH https://t.co/IXEDKHKo2O