Unified correspondence as a proof-theoretic tool

Saved in:
Bibliographic Details
Published inJournal of logic and computation p. exw022
Main Authors Greco, Giuseppe, Ma, Minghui, Palmigiano, Alessandra, Tzimoulis, Apostolos, Zhao, Zhiguang
Format Journal Article
LanguageEnglish
Published 01.10.2018
Online AccessGet full text
ISSN0955-792X
1465-363X
1465-363X
DOI10.1093/logcom/exw022

Cover

More Information
ISSN:0955-792X
1465-363X
1465-363X
DOI:10.1093/logcom/exw022