Concepedia

Venue (Journal)

Higher-Order and Symbolic Computation

18

Publications

719

Citations

8

Concepts

About

Higher-Order and Symbolic Computation is a journal.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

39

2

Computer Science

1

1

39

3

Compilers

1

1

39

4

Automated Reasoning

1

1

39

5

Formal Methods

1

1

39

Higher-Order and Symbolic Computation

×

18

Publications

719

Citations

Showing yearly statistics from 2000-2026.

YearCitations

Page 1