Skip to main content
Log in
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.

Volumes and issues

Search all Higher-Order and Symbolic Computation articles
  • Volume 26

  • Volume 25

  • Volume 24

  • Volume 23

  • Volume 22

  • Volume 21

  • Volume 20

    • Issue 4
    • Issue 3
    • Issue 1-2

      Special Issue on Rewriting Logic and its Applications

  • Volume 19

  • Volume 18

  • Volume 17

    • Issue 4
    • Issue 3
    • Issue 1-2

      Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation

  • Volume 16

    • Issue 4

      Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation

    • Issue 3
    • Issue 1-2

      Special Issue Dedicated to Bob Paige

  • Volume 15

  • Volume 14

  • Volume 13

  • Volume 12

  • Volume 11

  • Volume 10

  • Volume 9

  • Volume 8

  • Volume 7

  • Volume 6

  • Volume 5

  • Volume 4

  • Volume 3

  • Volume 2

  • Volume 1

Navigation