Hern\'an Vanzetto

Identifiers

• name variant Hern\'an Vanzetto 0.60 · backfill

Papers (2)

1. Encoding TLA+ set theory into many-sorted first-order logic cs.LO · 2015 · author #2
2. TLA+ Proofs cs.SE · 2012 · author #6

Mentions

• 1208.5933 #6 · backfill · confidence 0.70 Hern\'an Vanzetto

Frequent Coauthors

• Stephan Merz 2 shared papers
• Damien Doligez 1 shared papers
• Daniel Ricketts 1 shared papers
• Denis Cousineau 1 shared papers
• Leslie Lamport 1 shared papers