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

Armando B. Matos pubzone.org

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

DBLP keys2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando B. Matos: Linear programs in a simple reversible language. Theor. Comput. Sci. 290(3): 2063-2074 (2003)
1997
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando B. Matos: Monadic Logic Programs and Functional Complexity. Theor. Comput. Sci. 176(1-2): 175-204 (1997)
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando B. Matos: An introduction to ultimately periodic sets of integers. SIGACT News 25(1): 90-96 (1994)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando 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)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando B. Matos: Periodic Sets of Integers. Theor. Comput. Sci. 127(2): 287-312 (1994)
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando B. Matos: Regular Languages and a Class of Logic Programs. EPIA 1993: 150-157
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando B. Matos: Some Results on the Complexity of SLD-Derivations. EPIA 1993: 158-169

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page