Tomer Libal (Microsoft Research - Inria Joint Center

Identifiers

• name variant Tomer Libal (Microsoft Research - Inria Joint Center 0.60 · backfill

Papers (1)

1. Advanced Proof Viewing in ProofTool cs.LO · 2014 · author #1

Mentions

• 1410.8218 #1 · backfill · confidence 0.70 Tomer Libal (Microsoft Research - Inria Joint Center

Frequent Coauthors

• Ecole Polytechnique) 1 shared papers
• Martin Riener (Institute of Computer Languages 1 shared papers
• Mikheil Rukhaia (Institute of Applied Mathematics 1 shared papers
• Tbilisi State University) 1 shared papers
• Vienna University of Technology) 1 shared papers