Login / Signup

Termination and Productivity Checking with Continuous Types.

Andreas Abel
Published in: TLCA (2003)
Keyphrases
  • software development
  • multi agent
  • real time
  • databases
  • website
  • three dimensional
  • artificial neural networks
  • mobile robot
  • type checking