Luc Nicolas Spachmann
Luc Nicolas Spachmann
Affiliation: Friedrich Schiller University Jena
Pages in this Program
Proof Systems for QBF Synthesis: Extracting Skolem and Herbrand Functions
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑