Login / Signup

Term Equational Systems and Logics: (Extended Abstract).

Marcelo P. FioreChung-Kil Hur
Published in: MFPS (2008)
Keyphrases
  • extended abstract
  • intelligent systems
  • software engineering
  • expressive power
  • real time
  • neural network
  • computer systems
  • knowledge based systems
  • building blocks
  • complex systems
  • modal logic