"A syntactic soundness proof for free-variable tableaux with on-the-fly ..."

Richard Bonichon, Olivier Hermant (2015)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2021-10-14