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.

Syntactic Completeness of Proper Display Calculi

Jinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis. Syntactic Completeness of Proper Display Calculi. ACM Trans. Comput. Log., 23(4), 2022. [doi]

Authors

Jinsheng Chen

This author has not been identified. Look up 'Jinsheng Chen' in Google

Giuseppe Greco 0001

This author has not been identified. Look up 'Giuseppe Greco 0001' in Google

Alessandra Palmigiano

This author has not been identified. Look up 'Alessandra Palmigiano' in Google

Apostolos Tzimoulis

This author has not been identified. Look up 'Apostolos Tzimoulis' in Google
runs on