Logic-Based Program Synthesis and Transformation: 30th International Symposium,
97,28 €
Con uence and Commutation for Nominal Rewriting Systems with Atom Variables. - Pattern eliminating transformations. - Resourceful Program Synthesis from Graded Linear Types. - On Constrained Horn Clauses and Program Veri cation (Invited Paper).
Jetzt bei Ebay:
