"Multisequent Gentzen Deduction Systems For ..."

Wei Li, Yuefei Sui (2018)

Details and statistics

DOI: 10.5430/AIR.V7N1P53

access: open

type: Journal Article

metadata version: 2021-03-25

a service of  Schloss Dagstuhl - Leibniz Center for Informatics