output
20042010
most citedDiscovery of Two T Dwarf Companions with the Spitzer Space Telescope

238 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2010

Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming

Hélène Kirchner, César Muñoz

This volume contains selected papers from the proceedings of the First International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), which was held on Jul…