Browsing by Subject model theory, free algebras, finite combinatorics, declarative programming, parallel programming
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 28-Feb-2020 | Parallel software system for counting finite models | Pejović Aleksandar |