Scholar

Arnold Beckmann

Google Scholar ID: 0_QbR5QAAAAJ

Professor of Computer Science, Swansea University

Mathematical LogicTheoretical Computer Science

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

943

H-index

18

i10-index

26

Publications

20

Co-authors

4

list available

Contact

No contact links provided.

Publications

1 items

Access Hoare Logic

2025

Cited

0

Resume (English only)

Co-authors

4 total

Professor of Mathematics and Computer Science

Researcher, Institute of Mathematics, Czech Academy of Sciences