Rodrigo Readi Nasser

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

1 Rodrigo Readi Nasser: A Note on First Order Unification. Bulletin of the EATCS 81: 271-278 (2003)