Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
hal_authIdPerson_i : 872591
Image document

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

Maxime Rebout , Louis Féraud , Lionel Marie-Magdeleine , Sergei Soloviev
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.150-163, ⟨10.1007/978-3-642-28038-2_12⟩
Conference papers hal-01527378v1