Login / Signup

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach.

Maxime ReboutLouis FéraudLionel Marie-MagdeleineSergei Soloviev
Published in: CEE-SET (2009)
Keyphrases