English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
> Access to Fulltext
Information
Usage statistics
Files
An Algorithm for Deciding BAPA: Boolean Algebra wi[...]
-
Kuncak, Viktor
et al
main
file(s):
KuncakETAL05AlgorithmDecidingBAPA
version 1
KuncakETAL05AlgorithmDecidingBAPA.pdf
[173.4 KB]
27 Jan 2018, 13:01
n/a