Chris Ash is an author at University of Notre Dame specializing in formal methods.
Top concepts
Publications per year
1989–1989
1
1
Generic copies of countable structures
Chris Ash, Julia F. Knight, Mark S. Manasse et al. · Annals of Pure and Applied Logic · 1989 · 148 citations
Mathematical Structure, Generic Programming, Formal Methods +2
Rows per page
1–1 of 1