EPSRC logo
Researcher Details
 
Name: Dr N Alechina
Organisation: Utrecht University
Department: Unlisted
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/K033905/1 Verification of resource-bounded multi-agent systems (VRBMAS)(P)
EP/E031226/1 Verifying requirements for resource-bounded agents(P)
GR/M98050/01 EFFICIENT FRAGMENTS OF TRANSITIVE CLOSURE LOGIC(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator