Rewriting, computation and proof
essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday
In your inventory
nothing here
In your friends' and groups' inventories
nothing here
Nearby
nothing here
Elsewhere
nothing here
Edition - isbn:9783540731467 - inv:472744793b3854b1121a326370f420de