Login / Signup

Simulation and Verification of Synchronous Set Relations in Rewriting Logic.

Camilo RochaCésar A. Muñoz
Published in: SBMF (2011)
Keyphrases
  • horn clauses
  • data sets
  • probability distribution
  • dependency graph
  • neural network
  • genetic algorithm
  • logic programming
  • partially ordered
  • verification method
  • relation algebra