Concepedia

Tomer Libal

TL

Statistics

Publications

4

Citations

90

H-Index

4

Active since

2013

Affiliations

TU Wien(Current)

Tomer Libal is an author at TU Wien specializing in computer science, computing, and proof diagrams.

ORCID

Publications per year

2013–2021

4

Publications

4

The Dawn of the Human-Machine Era: A forecast of new and emerging language technologies

Dave Sayers, Rui Sousa‐Silva, Sviatlana Höhn et al. · 2021 · 50 citations · Full text

, , +10

PROOFTOOL: a GUI for the GAPT Framework

Cvetan Dunchev, Alexander Leitsch, Tomer Libal et al. · Electronic Proceedings in Theoretical Computer Science · 2013 · 17 citations · Full text

, , +17

Advanced Proof Viewing in ProofTool

Tomer Libal, Martin Riener, Mikheil Rukhaia · Electronic Proceedings in Theoretical Computer Science · 2014 · 13 citations · Full text

, , +17

Functions-as-Constructors Higher-Order Unification

Tomer Libal, Dale Miller · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 10 citations · Full text

, , +9

1–4 of 4