Login / Signup

Sesqui-Pushout Rewriting with Type Refinements.

Michael Löwe
Published in: ICGT (2016)
Keyphrases
  • data sets
  • real world
  • database systems
  • real time
  • machine learning
  • artificial intelligence
  • computer vision
  • learning environment
  • computational complexity
  • evolutionary algorithm
  • type checking
  • rewriting rules