Geometry (E104)

Identifiers

• name variant Geometry (E104) 0.60 · backfill

Papers (1)

1. PROOFTOOL: a GUI for the GAPT Framework cs.LO · 2013 · author #12

Mentions

• 1307.1942 #12 · backfill · confidence 0.70 Geometry (E104)

Frequent Coauthors

• Alexander Leitsch (Institute of Computer Languages (E185) 1 shared papers
• Bruno Woltzenlogel-Paleo (Institute of Computer Languages (E185) 1 shared papers
• Cvetan Dunchev (Institute of Computer Languages (E185) 1 shared papers
• Daniel Weller (Institute of Discrete Mathematics 1 shared papers
• Martin Riener (Institute of Computer Languages (E185) 1 shared papers
• Mikheil Rukhaia (Institute of Computer Languages (E185) 1 shared papers
• Tomer Libal (Institute of Computer Languages (E185) 1 shared papers
• Vienna University of Technology) 1 shared papers