Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Larchey-Wendling, Dominique
2018.
Automated Reasoning.
Vol. 10900,
Issue. ,
p.
422.
Straßburger, Lutz
2019.
On the decision problem for MELL.
Theoretical Computer Science,
Vol. 768,
Issue. ,
p.
91.
Larchey-Wendling, Dominique
2020.
Constructive Decision via Redundancy-Free Proof-Search.
Journal of Automated Reasoning,
Vol. 64,
Issue. 7,
p.
1197.
Urquhart, Alasdair
2022.
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs.
Vol. 22,
Issue. ,
p.
1.