Statistics
Publications
1
Citations
28
H-Index
1
Active since
1989
Affiliations
Jan KrajmIček is an author at Mathematical Institute of the Slovak Academy of Sciences specializing in algorithms, formal methods, and computing.
Publications per year
1989–1989
1
1
On the number of steps in proofs
Jan KrajmIček · Annals of Pure and Applied Logic · 1989 · 28 citations
1–1 of 1