8483 articles  [version française]
.:. Browse > By authors > Armando .:.
1 document
fulltext access Uniform Derivation of Decision Procedures by Superposition
Armando A., Ranise S., Rusinowitch M.
N° RR-4151 (2001) [inria-00072474 - version 1]