Login / Signup

Inspecting Maude variants with GLINTS.

María AlpuenteSantiago EscobarJulia SapiñaAngel Cuenca-Ortega
Published in: Theory Pract. Log. Program. (2017)
Keyphrases
  • equational theories
  • neural network
  • real time
  • databases
  • formal specification
  • data mining