 | 2003 |
|---|
| 6 |       | Armando B. Matos:
Linear programs in a simple reversible language.
Theor. Comput. Sci. 290(3): 2063-2074 (2003) |
| 1997 |
|---|
| 5 |  | Armando B. Matos:
Monadic Logic Programs and Functional Complexity.
Theor. Comput. Sci. 176(1-2): 175-204 (1997) |
| 1994 |
|---|
| 4 | | Armando B. Matos:
A Matrix Model for the Flow of Control in Prolog Programs with Applications to Profiling.
Softw., Pract. Exper. 24(8): 729-746 (1994) |
| 3 | | Armando B. Matos:
Periodic Sets of Integers.
Theor. Comput. Sci. 127(2): 287-312 (1994) |
| 1993 |
|---|
| 2 | | Armando B. Matos:
Regular Languages and a Class of Logic Programs.
EPIA 1993: 150-157 |
| 1 | | Armando B. Matos:
Some Results on the Complexity of SLD-Derivations.
EPIA 1993: 158-169 |
