Balazs Toth

E-Mails 📧

ed.uml@htot.szalab
ed.mut@htot.szalab

Entries

2025

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