Formalizing Weighted Pushdown Systems in Isabelle/HOL.

Anders Schlichtkrull, Morten Konggaard Schou

Browse the full PPDP paper archive.