Type-theoretic semantics for SemNet. / Shiu, S.; Luo, Z.; Garigliano, R.

Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085. 1996.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Type-theoretic semantics for SemNet. / Shiu, S.; Luo, Z.; Garigliano, R.

Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085. 1996.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Shiu, S, Luo, Z & Garigliano, R 1996, Type-theoretic semantics for SemNet. in Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085.

APA

Shiu, S., Luo, Z., & Garigliano, R. (1996). Type-theoretic semantics for SemNet. In Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085

Vancouver

Shiu S, Luo Z, Garigliano R. Type-theoretic semantics for SemNet. In Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085. 1996

Author

Shiu, S. ; Luo, Z. ; Garigliano, R. / Type-theoretic semantics for SemNet. Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085. 1996.

BibTeX

@inproceedings{0998bc4b6240480782e81b4afc7c1267,
title = "Type-theoretic semantics for SemNet",
author = "S. Shiu and Z. Luo and R. Garigliano",
year = "1996",
language = "English",
booktitle = "Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085",

}

RIS

TY - GEN

T1 - Type-theoretic semantics for SemNet

AU - Shiu, S.

AU - Luo, Z.

AU - Garigliano, R.

PY - 1996

Y1 - 1996

M3 - Conference contribution

BT - Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085

ER -