Khaled Skander Ben Slimane

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Sound And Complete Axiomatization

Computational Properties

Automated Reasoning

Predicate Logic

Top Venues

Publications

Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais
Twist your logic with TouIST. CoRR (2015)