| 1 |
|  |
| 1 |
 | ACM Transactions on Computational Logic |
| |
| 1 |
| |
| 1 |
| |
| 1 |
| |
| 2 |
| ACM Transactions on Programming Languages and Systems |
| |
| 1 |
| |
| 1 |
| |
| 5 |
| Annals of Mathematics and Artificial Intelligence |
| |
| 1 |
| |
| 1 |
| |
| 1 |
| Annals of Operations Research |
| |
| 1 |
| |
| 1 |
| Applicable Algebra in Engineering, Communication and Computing |
| |
| 1 |
| Applicable Algebra in Engineering, Communication and Computing (AAECC) |
| |
| 1 |
| |
| 1 |
| |
| 1 |
| |
| 1 |
| Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) |
| |
| 1 |
| |
| 1 |
| Computational Logic. The Newsletter of the European Network in Computational Logic |
| |
| 1 |
| |
| 1 |
| Discrete Applied Mathematics |
| |
| 1 |
| |
