Uwe Waldmann

1PUBLICATIONS
0CO-AUTHORS
Mathematical logic, set theory, lattices and universal algebra
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Nov 10, 2022
A Comprehensive Framework for Saturation Theorem Proving.

Uwe Waldmann, Sophie Tourret, Simon Robillard

Pageof 1

Frequent Collaborators