Equality of agent expressions is preserved under an extension of the universe of actions

Authors
T.Massart,R.Devillers
Citation
T.massart,r.devillers, Equality of agent expressions is preserved under an extension of the universe of actions, Formal aspects of computing The international journal of formal methods , 5(1), 1993, pp. 79-88
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
1
Year of publication
1993
Pages
79 - 88
Database
ACNP
SICI code