Name:	Mr P Quigley
Organisation:	Manchester Metropolitan University
Department:	Sch of Computing, Maths and Digital Tech
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/M46631/02 MECHANISING FIRST - ORDER TEMPORAL LOGIC (C) GR/M46631/01 MECHANISING FIRST - ORDER TEMPORAL LOGIC (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator