| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 951 |  | psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker | 1999 | Text | ir_uspace |
| 952 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 953 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 954 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 955 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 956 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 957 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 958 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 959 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 960 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 961 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 962 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 963 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 964 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 965 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 966 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 967 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 968 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 969 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 970 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 971 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 972 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 973 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 974 |  | Pulse | 1999 | Text | ehsl_pahsc |
| 975 |  | Pulse | 1999 | Text | ehsl_pahsc |