Multi-lingual Sequent Theory Calculus and Domain Theory

  • Jung, Achim (Principal Investigator)

Project Details

Short titleMulti-lingual Sequent Theory Calculus and Domain Theory
StatusFinished
Effective start/end date1/11/0330/04/04