Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Verifying time, memory and communication bounds in systems of reasoning agents
2009
Natasha AlechinaBrian LoganHoang Nga NguyenAbdur Rakib
Synthese 169/2
