Brown, Chad E.
Brown, Chad E. 1970-
VIAF ID: 70926115 ( Personal )
Permalink: http://viaf.org/viaf/70926115
Preferred Forms
-
-
- 100 1 _ ‡a Brown, Chad E.
- 100 1 _ ‡a Brown, Chad E. ‡d 1970-
5xx's: Related Names (1)
- 551 _ _ ‡a Tupelo, Missippi
Works
Title | Sources |
---|---|
Automated reasoning in higher-order logic, c2007: | |
The Curious Inference of Boolos in Mizar and OMEGA / Christoph E. Benzmüller and Chad E. Brown // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 299-386. | |
Cut-simulation in impredicative logics | |
Dependently typed set theory |