modal logic systems / analytic deepinference proof systems / analytic deep-inference proof systems / Analytic systems / polynomial-time computable algorithm / proof systems / deep-inference systems / deep-inference proof systems / /
Person
ALESSIO GUGLIELMI / PAOLA BRUSCOLI / Ai / /
ProvinceOrState
Kansas / /
Technology
polynomial-time computable algorithm / same algorithm / /