Linguistique de l’écrit
Revue internationale en libre accès
Revue | Auteurs
Verifying time, memory and communication bounds in systems of reasoning agents
2009
Natasha AlechinaBrian LoganHoang Nga NguyenAbdur Rakib
Synthese 169/2