Vol-3325⫷ Vol-3326 ⫸Vol-3327
urn:nbn:de:0074-3326-0


Vol-3326/ARQNL2022_paper3⫷Vol-3326/ARQNL2022_paper4⫸Vol-3326/ARQNL2022_paper5
Thomas Neele

(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems