Login / Signup

Verification of graph grammars using a logical approach.

Simone André da CostaLeila Ribeiro
Published in: Sci. Comput. Program. (2012)
Keyphrases
  • graph grammars
  • context sensitive
  • model checking
  • parameter learning
  • pairwise
  • context free
  • machine learning
  • information retrieval
  • data structure
  • conditional random fields