Sciweavers

17129 search results - page 377 / 3426
» Applied Computing
Sort
View
ICTAC
2007
Springer
16 years 26 days ago
Quasi-interpretation Synthesis by Decomposition
Guillaume Bonfante, Jean-Yves Marion, Romain P&eac...