Concepedia

Christian Urban

CU

1

Publications

19

Citations

1

H-Index

2008

Active since

Affiliations

University of Edinburgh(Current)

Christian Urban is an author at University of Edinburgh specializing in formal verification, linguistics, and automated reasoning.

Top concepts

Publications per year

2008–2008

1

Publications

1

Mechanizing the Metatheory of LF

Christian Urban, James Cheney, Stefan Berghofer · Proceedings - Symposium on Logic in Computer Science · 2008 · 19 citations

, , +15

Rows per page

1–1 of 1