par Massart, Thierry ;Devillers, Raymond
Référence Formal aspects of computing, 5, 1, page (79-88)
Publication Publié, 1993-01
Article révisé par les pairs
Titre:
  • Equality of agent expressions is preserved under an extension of the universe of actions
Auteur:Massart, Thierry; Devillers, Raymond
Informations sur la publication:Formal aspects of computing, 5, 1, page (79-88)
Statut de publication:Publié, 1993-01
Sujet CREF:Informatique mathématique
Mots-clés:Algebraic calculus
Equality
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0934-5043
info:doi/10.1007/BF01211317
info:scp/34250075420