Login / Signup

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems.

Salvador LucasJosé MeseguerRaúl Gutiérrez
Published in: LOPSTR (2014)
Keyphrases
  • term rewriting systems
  • main contribution
  • high level
  • multiscale
  • intelligent agents
  • theoretical framework