Armando B. Matos

Publication Activity (10 Years)

Years Active: 1980-2021
Publications (10 Years): 8

Top Topics

Inductive Inference

Recursive Functions

Classical Methods

Top Venues

Theor. Comput. Sci.

Publications

Armando B. Matos, Luca Paolini, Luca Roversi
Splitting Recursion Schemes into Reversible and Classical Interacting Threads. RC (2021)
Armando B. Matos, Luca Paolini, Luca Roversi
Interleaving classical and reversible. CoRR (2021)
Armando B. Matos, Luca Paolini, Luca Roversi
Splitting recursion schemes into reversible and classical interacting threads. CoRR (2021)
Armando B. Matos, Luca Paolini, Luca Roversi
The fixed point problem of a simple reversible language. Theor. Comput. Sci. 813 (2020)
Armando B. Matos, Luca Paolini, Luca Roversi
On the Expressivity of Total Reversible Programming Languages. RC (2020)
Armando B. Matos, Luca Paolini, Luca Roversi
The Fixed Point Problem for General and for Linear SRL Programs is Undecidable. ICTCS (2018)
Armando B. Matos
Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability. CoRR (2016)
Armando B. Matos
The efficiency of primitive recursive functions: A programmer's view. Theor. Comput. Sci. 594 (2015)
Armando B. Matos
Linear programs in a simple reversible language. Theor. Comput. Sci. 290 (3) (2003)
Armando B. Matos
Monadic Logic Programs and Functional Complexity. Theor. Comput. Sci. 176 (1-2) (1997)
Armando B. Matos
An introduction to ultimately periodic sets of integers. SIGACT News 25 (1) (1994)
Armando B. Matos
Periodic Sets of Integers. Theor. Comput. Sci. 127 (2) (1994)
Armando B. Matos
A Matrix Model for the Flow of Control in Prolog Programs with Applications to Profiling. Softw. Pract. Exp. 24 (8) (1994)
Armando B. Matos
Regular Languages and a Class of Logic Programs. EPIA (1993)
Armando B. Matos
Some Results on the Complexity of SLD-Derivations. EPIA (1993)
António Porto, Armando B. Matos
Ackermann and the superpowers. SIGACT News 12 (3) (1980)