Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
StandardStandard
Interpreted systems and Kripke models for multiagent systems from a categorical perspective. / Porter, T.
Yn: Theoretical Computer Science, Cyfrol 323, Rhif 1-3, 01.09.2004, t. 235 - 266.
Yn: Theoretical Computer Science, Cyfrol 323, Rhif 1-3, 01.09.2004, t. 235 - 266.
Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
HarvardHarvard
Porter, T 2004, 'Interpreted systems and Kripke models for multiagent systems from a categorical perspective', Theoretical Computer Science, cyfrol. 323, rhif 1-3, tt. 235 - 266. https://doi.org/10.1016/j.tcs.2004.04.005
APA
Porter, T. (2004). Interpreted systems and Kripke models for multiagent systems from a categorical perspective. Theoretical Computer Science, 323(1-3), 235 - 266. https://doi.org/10.1016/j.tcs.2004.04.005
CBE
Porter T. 2004. Interpreted systems and Kripke models for multiagent systems from a categorical perspective. Theoretical Computer Science. 323(1-3):235 - 266. https://doi.org/10.1016/j.tcs.2004.04.005
MLA
Porter, T. "Interpreted systems and Kripke models for multiagent systems from a categorical perspective". Theoretical Computer Science. 2004, 323(1-3). 235 - 266. https://doi.org/10.1016/j.tcs.2004.04.005
VancouverVancouver
Porter T. Interpreted systems and Kripke models for multiagent systems from a categorical perspective. Theoretical Computer Science. 2004 Medi 1;323(1-3):235 - 266. doi: 10.1016/j.tcs.2004.04.005
Author
RIS
TY - JOUR
T1 - Interpreted systems and Kripke models for multiagent systems from a categorical perspective
AU - Porter, T.
PY - 2004/9/1
Y1 - 2004/9/1
KW - COMPUTER SCIENCE
KW - THEORY & METHODS
U2 - 10.1016/j.tcs.2004.04.005
DO - 10.1016/j.tcs.2004.04.005
M3 - Article
VL - 323
SP - 235
EP - 266
JO - Theoretical Computer Science
JF - Theoretical Computer Science
SN - 0304-3975
IS - 1-3
ER -