Natural Language Inference in Coq

Stergios Chatzikyriakidis, Zhaohui Luo

Research output: Contribution to journal › Article › peer-review

157 Downloads (Pure)

Original language	English
Pages (from-to)	441–480
Number of pages	40
Journal	Journal of Logic, Language and Information
Volume	23
Early online date	4 Oct 2014
DOIs	https://doi.org/10.1007/s10849-014-9208-x
Publication status	Published - Dec 2014

Access to Document

@article{373cae4e655c44ce866e6dcecacb7d40,

title = "Natural Language Inference in Coq",

author = "Stergios Chatzikyriakidis and Zhaohui Luo",

year = "2014",

month = dec,

doi = "10.1007/s10849-014-9208-x",

language = "English",

volume = "23",

pages = "441–480",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Netherlands",

}