Login / Signup
The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation Techniques.
Salvador Lucas
José Meseguer
Raúl Gutiérrez
Published in:
J. Autom. Reason. (2020)
Keyphrases
</>
artificial intelligence
object oriented
rewrite systems