Concepedia

Venue (Journal)

Archive of formal proofs

Homepage

156

Publications

401

Citations

15

Concepts

About

Archive of formal proofs is a journal.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

89

2

Computer Science

5

5

89

3

Combinatorial Optimization

2

2

42

4

Data Mining

1

1

13

5

Semantics

1

1

18

Archive of formal proofs

×

156

Publications

401

Citations

Showing yearly statistics from 2000-2026.

YearCitations

Page 1