Stephan Merz

Identifiers

• name variant Stephan Merz 0.60 · backfill

Papers (2)

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

Mentions

• 1208.5933 #4 · backfill · confidence 0.70 Stephan Merz

Frequent Coauthors

• Hern\'an Vanzetto 2 shared papers
• Damien Doligez 1 shared papers
• Daniel Ricketts 1 shared papers
• Denis Cousineau 1 shared papers
• Leslie Lamport 1 shared papers