FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Evidence Extraction from Parameterised Boolean Equation Systems

Wieger Wesselink and Tim Willemse

Labelled Calculi for QMLs with Non-Rigid and Non-Denoting Terms

Eugenio Orlandelli and Giovanna Corsi
Total: 2 presentations.