dblp.uni-trier.dewww.uni-trier.de

Armando B. Matos

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
6 Armando B. Matos: Linear programs in a simple reversible language. Theor. Comput. Sci. 290(3): 2063-2074 (2003)
1997
5EEArmando 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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)