Previous
Next
Journal
- lecture notes in computer science32
- rewriting techniques and applications : 10th international conference, rta-99 trento, italy, july 2-4, 1999 proceedings30
- theoretical computer science22
- journal of automated reasoning17
- information and computation12
- acta informatica11
- journal of symbolic computation7
- journal of the acm6
- information processing letters4