Martin Riener (Institute of Computer Languages

Identifiers

• name variant Martin Riener (Institute of Computer Languages 0.60 · backfill

Papers (1)

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

Mentions

• 1410.8218 #3 · backfill · confidence 0.70 Martin Riener (Institute of Computer Languages

Frequent Coauthors

• Ecole Polytechnique) 1 shared papers
• Mikheil Rukhaia (Institute of Applied Mathematics 1 shared papers
• Tbilisi State University) 1 shared papers
• Tomer Libal (Microsoft Research - Inria Joint Center 1 shared papers
• Vienna University of Technology) 1 shared papers