Sciweavers

ICTAC
2007
Springer

Quasi-interpretation Synthesis by Decomposition

13 years 11 months ago
Quasi-interpretation Synthesis by Decomposition
Guillaume Bonfante, Jean-Yves Marion, Romain P&eac
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICTAC
Authors Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
Comments (0)