Login / Signup

Approximation Fixpoint Theory in Coq - With an Application to Logic Programming.

Bart BogaertsLuís Cruz-Filipe
Published in: Logics and Type Systems in Theory and Practice (2024)
Keyphrases