Armando B. Matos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1993–2021
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | RC | Splitting Recursion Schemes into Reversible and Classical Interacting Threads. | Armando B. Matos, Luca Paolini, Luca Roversi |
| 2020 | RC | On the Expressivity of Total Reversible Programming Languages. | Armando B. Matos, Luca Paolini, Luca Roversi |
| 1993 | EPIA | Regular Languages and a Class of Logic Programs. | Armando B. Matos |
| 1993 | EPIA | Some Results on the Complexity of SLD-Derivations. | Armando B. Matos |