System T and the Product of Selection Functions

Research output: Contribution to conference (unpublished)Paper

Standard

System T and the Product of Selection Functions. / Escardo, Martin; Oliva, P; Powell, T; Bezem, M.

2011. 233-247 Paper presented at Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL, .

Research output: Contribution to conference (unpublished)Paper

Harvard

Escardo, M, Oliva, P, Powell, T & Bezem, M 2011, 'System T and the Product of Selection Functions', Paper presented at Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL, 31/08/11 pp. 233-247.

APA

Escardo, M., Oliva, P., Powell, T., & Bezem, M. (2011). System T and the Product of Selection Functions. 233-247. Paper presented at Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL, .

Vancouver

Escardo M, Oliva P, Powell T, Bezem M. System T and the Product of Selection Functions. 2011. Paper presented at Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL, .

Author

Escardo, Martin ; Oliva, P ; Powell, T ; Bezem, M. / System T and the Product of Selection Functions. Paper presented at Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL, .15 p.

Bibtex

@conference{42abdd2c61ae43f788ae11f12ba0d232,
title = "System T and the Product of Selection Functions",
author = "Martin Escardo and P Oliva and T Powell and M Bezem",
year = "2011",
month = aug,
day = "31",
language = "English",
pages = "233--247",
note = "Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL ; Conference date: 31-08-2011",

}

RIS

TY - CONF

T1 - System T and the Product of Selection Functions

AU - Escardo, Martin

AU - Oliva, P

AU - Powell, T

AU - Bezem, M

PY - 2011/8/31

Y1 - 2011/8/31

M3 - Paper

SP - 233

EP - 247

T2 - Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL

Y2 - 31 August 2011

ER -