Concepedia

Alexander Hertel

AH

1

Publications

30

Citations

1

H-Index

2007

Active since

Affiliations

University of Notre Dame(Current)

Alexander Hertel is an author at University of Notre Dame specializing in formal verification, formal methods, and verification.

Top concepts

Publications per year

2007–2007

1

Publications

1

A Sound and Complete Proof Theory for Propositional Logical Contingencies

Alexander Hertel, Philipp Hertel, Charles G. Morgan · Notre Dame Journal of Formal Logic · 2007 · 30 citations · Full text

, , +13

Rows per page

1–1 of 1