External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication

Jim de Groot, Tadeusz Litak, Dirk Pattinson. Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-15, IEEE, 2021. [doi]

Authors

Jim de Groot

This author has not been identified. Look up 'Jim de Groot' in Google

Tadeusz Litak

This author has not been identified. Look up 'Tadeusz Litak' in Google

Dirk Pattinson

This author has not been identified. Look up 'Dirk Pattinson' in Google
runs on