Pages that link to "Item:Q368052"

From MaRDI portal

← Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16--19, 2013. Proceedings (Q368052)

Jump to:navigation, search

The following pages link to Automated reasoning with analytic tableaux and related methods. 22nd international conference, TABLEAUX 2013, Nancy, France, September 16--19, 2013. Proceedings (Q368052):

Displaying 1 item.

Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q368052"