Back to Results
First PageMeta Content
Logic in computer science / Partition / Mathematics / Combinatory logic / Lambda calculus


Logic for coalitions with bounded resources∗ Abdur Rakib Nguyen Hoang Nga Brian Logan Natasha Alechina Sch. of Computer Science Sch. of Computer Science Sch. of Computer Science Sch. of Computer Science
Add to Reading List

Document Date: 2009-09-21 10:06:03

Open Document

File Size: 109,05 KB

Share Result on Facebook

Company

Multiagent Systems / Intel / AAAI Press / /

Currency

pence / /

/

Facility

University of Amsterdam / /

IndustryTerm

model-checking algorithm / transition systems / /

Organization

g20 / Reserve Bank of Australia / University of Amsterdam / /

Person

Hoang Nga Brian Logan / T. Agotnes / Morgan Kaufmann / Abdur Rakib Nguyen Hoang Nga / Brian Logan Natasha Alechina Sch / /

Position

MP / /

Technology

model-checking algorithm / /

SocialTag