Using Signatures in Type Theory to Represent Situations. / Chatzikyriakidis, Stergios; Luo, Zhaohui.
JSAI International Symposium on Artificial Intelligence. 2014. p. 172-183.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Published
Standard
Using Signatures in Type Theory to Represent Situations. / Chatzikyriakidis, Stergios; Luo, Zhaohui.
JSAI International Symposium on Artificial Intelligence. 2014. p. 172-183.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Harvard
Chatzikyriakidis, S & Luo, Z 2014, Using Signatures in Type Theory to Represent Situations. in JSAI International Symposium on Artificial Intelligence. pp. 172-183. https://doi.org/10.1007/978-3-662-48119-6_13
APA
Chatzikyriakidis, S., & Luo, Z. (2014). Using Signatures in Type Theory to Represent Situations. In JSAI International Symposium on Artificial Intelligence (pp. 172-183) https://doi.org/10.1007/978-3-662-48119-6_13
Vancouver
Chatzikyriakidis S, Luo Z. Using Signatures in Type Theory to Represent Situations. In JSAI International Symposium on Artificial Intelligence. 2014. p. 172-183 https://doi.org/10.1007/978-3-662-48119-6_13
Author
BibTeX
@inbook{fe6b31f394364972807b357d0440ddfb,
title = "Using Signatures in Type Theory to Represent Situations",
author = "Stergios Chatzikyriakidis and Zhaohui Luo",
year = "2014",
doi = "10.1007/978-3-662-48119-6_13",
language = "English",
isbn = "978-3-662-48118-9",
pages = "172--183",
booktitle = "JSAI International Symposium on Artificial Intelligence",
}
RIS
TY - CHAP
T1 - Using Signatures in Type Theory to Represent Situations
AU - Chatzikyriakidis, Stergios
AU - Luo, Zhaohui
PY - 2014
Y1 - 2014
U2 - 10.1007/978-3-662-48119-6_13
DO - 10.1007/978-3-662-48119-6_13
M3 - Chapter (peer-reviewed)
SN - 978-3-662-48118-9
SP - 172
EP - 183
BT - JSAI International Symposium on Artificial Intelligence
ER -