Interpreted systems and Kripke models for multiagent systems from a categorical perspective

Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid

Iaith wreiddiol	Saesneg
Tudalennau (o-i)	235 - 266
Cyfnodolyn	Theoretical Computer Science
Cyfrol	323
Rhif y cyfnodolyn	1-3
Dynodwyr Gwrthrych Digidol (DOIs)	https://doi.org/10.1016/j.tcs.2004.04.005
Statws	Cyhoeddwyd - 1 Medi 2004

Porth Ymchwil