Journal Information
Higher-Order and Symbolic Computation (LISP)
https://link.springer.com/journal/10990Publisher: |
Springer |
ISSN: |
1388-3690 |
Viewed: |
15283 |
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 |
|---|---|---|---|---|
| c | Higher-Order and Symbolic Computation | Springer | 1388-3690 | |
| b | Journal of Symbolic Computation | 1.1 | Elsevier | 0747-7171 |
| c | Journal of Logic and Computation | 0.700 | Oxford University Press | 0955-792X |
| b | Neural Computation | 2.900 | MIT Press | 0899-7667 |
| Journal of Chemical Theory and Computation | 5.700 | American Chemical Society | 1549-9618 | |
| Applied Mathematics and Computation | 3.500 | Elsevier | 0096-3003 | |
| Engineering Computations | 1.500 | Emerald | 0264-4401 | |
| ACM Transactions on Economics and Computation | 1.100 | ACM | 2167-8375 | |
| International Journal of High Performance Computing Applications | SAGE | 1094-3420 | ||
| Applied Soft Computing | 6.6 | Elsevier | 1568-4946 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Higher-Order and Symbolic Computation | Springer | |
| Journal of Symbolic Computation | 1.1 | Elsevier |
| Journal of Logic and Computation | 0.700 | Oxford University Press |
| Neural Computation | 2.900 | MIT Press |
| Journal of Chemical Theory and Computation | 5.700 | American Chemical Society |
| Applied Mathematics and Computation | 3.500 | Elsevier |
| Engineering Computations | 1.500 | Emerald |
| ACM Transactions on Economics and Computation | 1.100 | ACM |
| International Journal of High Performance Computing Applications | SAGE | |
| Applied Soft Computing | 6.6 | Elsevier |
Related Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| 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 | b4 | ICNC' | International Conference on Natural Computation | 2018-06-20 | 2018-07-28 | ||
| b | HSCC | International Conference on Hybrid Systems: Computation and Control | 2025-11-06 | 2026-01-29 | 2026-05-11 | ||
| c | a | b1 | ISAAC | International Symposium on Algorithms and Computation | 2024-06-28 | 2024-09-02 | 2024-12-08 |
| 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 | |
| b3 | HPCS | High Performance Computing Symposium | 2015-03-24 | 2015-04-08 | 2015-06-17 | ||
| a* | ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-01-23 | 2024-04-16 | 2024-07-16 | ||
| b3 | AISC | International Conference on Artificial Intelligence and Symbolic Computation | 2010-04-19 | 2010-07-05 |
| Short | Full Name | Conference |
|---|---|---|
| STOC | ACM Symposium on Theory of Computing | 2026-06-22 |
| IPEC | International Symposium on Parameterized and Exact Computation | 2025-09-15 |
| ICNC' | International Conference on Natural Computation | 2018-07-28 |
| HSCC | International Conference on Hybrid Systems: Computation and Control | 2026-05-11 |
| ISAAC | International Symposium on Algorithms and Computation | 2024-12-08 |
| HPCC | International Conference on High Performance Computing and Communications | 2025-08-13 |
| EC | ACM Conference on Economics and Computation | 2025-07-07 |
| HPCS | High Performance Computing Symposium | 2015-06-17 |
| ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-07-16 |
| AISC | International Conference on Artificial Intelligence and Symbolic Computation | 2010-07-05 |