A set solver for finite set relation algebra
From MaRDI portal
Publication:1617837
DOI10.1007/978-3-030-02149-8_20OpenAlexW2895766200MaRDI QIDQ1617837
Maximiliano Cristiá, Gianfranco Rossi
Publication date: 8 November 2018
Full work available at URL: https://doi.org/10.1007/978-3-030-02149-8_20
Related Items (6)
Automated reasoning with restricted intensional sets ⋮ An automatically verified prototype of the Android permissions system ⋮ A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals ⋮ Unnamed Item ⋮ Automated proof of Bell-LaPadula security properties ⋮ An automatically verified prototype of the Tokeneer ID station specification
Uses Software
This page was built for publication: A set solver for finite set relation algebra
