Research Perspectives - Tools for Visualisation of Portfolios
EPSRC logo

EPSRC Database


Source RCUK EPSRC Data

Details for Topic Number 943

logic logical reasoning modal relation computer theory fragment open coalgebraic concept formula calculu decidable expressive

http://www.researchperspectives.org/gow.topics/topic_943.png

Words in Topic

172 - logic

69 - logical

38 - reasoning

32 - modal

29 - relation

25 - computer

23 - theory

16 - fragment

16 - open

15 - coalgebraic

13 - concept

12 - formula

11 - calculu

10 - decidable

10 - expressive

Key Grants