`Travelled to:`

1 × Canada

1 × Denmark

1 × Estonia

1 × Poland

2 × USA

2 × United Kingdom

`Collaborated with:`

∅ P.B.Andrews C.Benzmüller J.Backes M.F.0002 G.Sutcliffe M.Kohlhase M.Bishop F.Theiss T.Gauthier C.Kaliszyk J.Urban

`Talks about:`

higher (6) order (6) theorem (5) prove (5) theori (4) logic (4) type (3) satallax (2) system (2) tps (2)

## Person: Chad E. Brown

### DBLP: Brown:Chad_E=

### Contributed to:

### Wrote 12 papers:

- IJCAR-2012-Brown #automation #higher-order #named #proving
- Satallax: An Automatic Higher-Order Prover (CEB), pp. 111–117.
- CADE-2011-Brown #higher-order #problem #proving #satisfiability #sequence #theorem proving
- Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (CEB), pp. 147–161.
- IJCAR-2010-BackesB #higher-order #logic
- Analytic Tableaux for Higher-Order Logic with Choice (JB, CEB), pp. 76–90.
- CADE-2009-SutcliffeBBT #automation #development #higher-order #logic #proving #theorem proving
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (GS, CB, CEB, FT), pp. 116–130.
- IJCAR-2006-BenzmullerBK #logic
- Cut-Simulation in Impredicative Logics (CB, CEB, MK), pp. 220–234.
- IJCAR-2006-Brown #set #type system
- Combining Type Theory and Untyped Set Theory (CEB), pp. 205–219.
- CADE-2005-Brown #reasoning #similarity #type system
- Reasoning in Extensional Type Theory with Equality (CEB), pp. 23–37.
- CADE-2002-Brown #higher-order #proving #set #theorem proving
- Solving for Set Variables in Higher-Order Theorem Proving (CEB), pp. 408–422.
- CADE-2000-AndrewsB #education #higher-order #logic #named #proving #theorem proving #tutorial #using
- Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic (PBA, CEB), pp. 511–512.
- CADE-2000-AndrewsBB #proving #theorem proving #type system
- System Description: TPS: A Theorem Proving System for Type Theory (PBA, MB, CEB), pp. 164–169.
- IJCAR-2016-FarberB
- Internal Guidance for Satallax (MF0, CEB), pp. 349–361.
- CADE-2019-BrownGKSU #challenge #named
- GRUNGE: A Grand Unified ATP Challenge (CEB, TG, CK, GS, JU), pp. 123–141.