Natural Language Inference in Coq

Stergios Chatzikyriakidis, Zhaohui Luo

Research output: Contribution to journalArticlepeer-review

136 Downloads (Pure)
Original languageEnglish
Pages (from-to)441–480
Number of pages40
JournalJournal of Logic, Language and Information
Volume23
Early online date4 Oct 2014
DOIs
Publication statusPublished - Dec 2014

Cite this