Antonio Luz Furtado

• Formal techniques for data base design
• A low-level mathematical pattern-matching algorithm
• A two-level Newton method for function optimization
• Artur e Alexandre
• PUCMAT--a programming module for arithmetic pattern-matching
• Recursive techniques in dynamic programming