Statistics
Publications
2
Citations
162
H-Index
2
Active since
1998
Affiliations
University of Edinburgh(Current)
J. C. Bradfield is an author at University of Edinburgh specializing in modal logic, model theory, and formal methods.
Publications per year
1998–1999
2
2
The modal mu-calculus alternation hierarchy is strict
J. C. Bradfield · Theoretical Computer Science · 1998 · 136 citations · Full text
1–2 of 2