Journal Information
Higher-Order and Symbolic Computation (LISP)
https://link.springer.com/journal/10990Publisher: |
Springer |
ISSN: |
1388-3690 |
Viewed: |
16469 |
Tracked: |
1 |
Call For Papers
Higher-Order and Symbolic Computation is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Last updated by Dou Sun in 2024-07-23
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| Swarm and Evolutionary Computation | 8.5 | Elsevier | 2210-6502 | |
| Applied Soft Computing | 6.6 | Elsevier | 1568-4946 | |
| Journal of Chemical Theory and Computation | 5.5 | American Chemical Society | 1549-9618 | |
| Applied Mathematics and Computation | 3.4 | Elsevier | 0096-3003 | |
| b | Neural Computation | 2.1 | MIT Press | 0899-7667 |
| Engineering Computations | 1.500 | Emerald | 0264-4401 | |
| c | CCF Transactions on High Performance Computing | 1.300 | Springer | 2524-4922 |
| b | Journal of Symbolic Computation | 1.1 | Elsevier | 0747-7171 |
| ACM Transactions on Economics and Computation | 1.100 | ACM | 2167-8375 | |
| c | Journal of Logic and Computation | 0.700 | Oxford University Press | 0955-792X |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Swarm and Evolutionary Computation | 8.5 | Elsevier |
| Applied Soft Computing | 6.6 | Elsevier |
| Journal of Chemical Theory and Computation | 5.5 | American Chemical Society |
| Applied Mathematics and Computation | 3.4 | Elsevier |
| Neural Computation | 2.1 | MIT Press |
| Engineering Computations | 1.500 | Emerald |
| CCF Transactions on High Performance Computing | 1.300 | Springer |
| Journal of Symbolic Computation | 1.1 | Elsevier |
| ACM Transactions on Economics and Computation | 1.100 | ACM |
| Journal of Logic and Computation | 0.700 | Oxford University Press |
Related Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| b | HSCC | International Conference on Hybrid Systems: Computation and Control | 2025-11-06 | 2026-01-29 | 2026-05-11 | ||
| a | a* | a1 | STOC | ACM Symposium on Theory of Computing | 2025-11-04 | 2026-02-01 | 2026-06-22 |
| b2 | IPEC | International Symposium on Parameterized and Exact Computation | 2025-06-27 | 2025-08-07 | 2025-09-15 | ||
| c | b | HPCC | International Conference on High Performance Computing and Communications | 2025-04-30 | 2025-06-15 | 2025-08-13 | |
| a* | a1 | EC | ACM Conference on Economics and Computation | 2025-02-03 | 2025-05-17 | 2025-07-07 | |
| c | a | b1 | ISAAC | International Symposium on Algorithms and Computation | 2024-06-28 | 2024-09-02 | 2024-12-08 |
| a* | ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-01-23 | 2024-04-16 | 2024-07-16 | ||
| c | b4 | ICNC' | International Conference on Natural Computation | 2018-06-20 | 2018-07-28 | ||
| b3 | HPCS | High Performance Computing Symposium | 2015-03-24 | 2015-04-08 | 2015-06-17 | ||
| b3 | AISC | International Conference on Artificial Intelligence and Symbolic Computation | 2010-04-19 | 2010-07-05 |
| Short | Full Name | Conference |
|---|---|---|
| HSCC | International Conference on Hybrid Systems: Computation and Control | 2026-05-11 |
| STOC | ACM Symposium on Theory of Computing | 2026-06-22 |
| IPEC | International Symposium on Parameterized and Exact Computation | 2025-09-15 |
| HPCC | International Conference on High Performance Computing and Communications | 2025-08-13 |
| EC | ACM Conference on Economics and Computation | 2025-07-07 |
| ISAAC | International Symposium on Algorithms and Computation | 2024-12-08 |
| ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-07-16 |
| ICNC' | International Conference on Natural Computation | 2018-07-28 |
| HPCS | High Performance Computing Symposium | 2015-06-17 |
| AISC | International Conference on Artificial Intelligence and Symbolic Computation | 2010-07-05 |