"Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic"

Rajeev Goré, Linda Postniece, Alwen Tiu (2010)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2018-08-13