Search
Add filters:
Use filters to refine the search results.
Results 1-3 of 3 (Search time: 0.008 seconds).
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 21-Jun-2020 | Code deobfuscation by program synthesis-aided simplification of mixed boolean-arithmetic expressions | Gàmez-Montolio, Arnau |
| Oct-2020 | Inconsistency lemmas: an algebraic approach | Herrera Hernández, Jorge |
| Jul-2024 | Epimorphism Surjectivity in Logic and Algebra | Kurtzhals, Miriam |
Discover
Subject