Login / Signup

Rewriting and narrowing for constructor systems with call-time choice semantics.

Francisco Javier López-FraguasEnrique Martin-MartinJuan Rodríguez-HortaláJaime Sánchez-Hernández
Published in: Theory Pract. Log. Program. (2014)
Keyphrases
  • data mining
  • computer systems
  • formal semantics
  • expert systems
  • real time
  • neural network
  • case study
  • np complete
  • complex systems
  • formal languages