Browsing by Author Acevedo, Lucas Uzías
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| Sep-2024 | On Languages and a Strictly Positive Fragment of Linear Temporal Logic | Acevedo, Lucas Uzías |
| 13-Jun-2022 | Sistemes deductius algebritzables | Acevedo, Lucas Uzías |