Web Directory

    Top: Science: Math: Logic_and_Foundations: Institutions: Europe: United_Kingdom:

 

Manchester Metropolitan University

  Link Details for: Manchester Metropolitan University
Link Title: Manchester Metropolitan University Open in a new window
Link URL: http://www.doc.mmu.ac.uk/RESEARCH/logicgrp/
Link Details: Department of Computing and Mathematics, Logic and Computation Group. Research projects: Proof Methods for Non-Classical Logics; Temporal and Modal Logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography.
Category: Top : Science : Math : Logic_and_Foundations : Institutions : Europe : United_Kingdom
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Manchester Metropolitan University