B
alazs
T
oth
E-Mails 📧
ed
.
uml
@
htot
.
szalab
ed
.
mut
@
htot
.
szalab
Entries
2025
Typed Ordered Resolution
by
Adnan Mohammed Ahmed
and
Balazs Toth
Jun 11
First Order Clause
by
Balazs Toth
Jan 17
2024
A Modular Formalization of Superposition
by
Martin Desharnais
and
Balazs Toth
Oct 24
2022
Real-Time Double-Ended Queue
by
Balazs Toth
and
Tobias Nipkow
Jun 23