deep inference systems / machinery / graph rewriting systems / sequent calculus systems / proof systems / classical-logic proof systems / proof search / deep-inference proof systems / /
Organization
University of Bath / /
Person
ALESSIO GUGLIELMI / TOM GUNDERSEN / MICHEL PARIGOT / PAOLA BRUSCOLI / / /