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.

Proof Assistants for Natural Language Semantics

Stergios Chatzikyriakidis, Zhaohui Luo. Proof Assistants for Natural Language Semantics. In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré, editors, Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Volume 10054 of Lecture Notes in Computer Science, pages 85-98, 2016. [doi]

Authors

Stergios Chatzikyriakidis

This author has not been identified. Look up 'Stergios Chatzikyriakidis' in Google

Zhaohui Luo

This author has not been identified. Look up 'Zhaohui Luo' in Google
runs on