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.

Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes

Eduard Kamburjan, Egor V. Kostylev. Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. In Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. Volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Authors

Eduard Kamburjan

This author has not been identified. Look up 'Eduard Kamburjan' in Google

Egor V. Kostylev

This author has not been identified. Look up 'Egor V. Kostylev' in Google
runs on