C\'esar Mu\~noz (NASA

Identifiers

• name variant C\'esar Mu\~noz (NASA 0.60 · backfill

Papers (1)

1. Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming cs.LO · 2010 · author #3

Mentions

• 1012.5337 #3 · backfill · confidence 0.70 C\'esar Mu\~noz (NASA

Frequent Coauthors

• France) 1 shared papers
• H\'el\`ene Kirchner (INRIA 1 shared papers
• USA) 1 shared papers