MLS FrameworkFor Continuous Domain Theory in Logical Form

  • Jung, Achim (Principal Investigator)

Project Details

Short titleMLS FrameworkFor Continuous Domain Theory in Logical Form
StatusFinished
Effective start/end date28/08/04 → 27/12/04

Funding

  • Engineering & Physical Science Research Council