Travelled to:1 × France
1 × USA
Collaborated with:R.J.Mooney I.Kraan A.Smaill G.A.Wiggins
Talks about:sequent (1) mollusc (1) general (1) develop (1) theori (1) shell (1) revis (1) proof (1) order (1) logic (1)
Person: Bradley L. Richards
DBLP: Richards:Bradley_L=
Contributed to:
1994
1991Wrote 2 papers:
- CADE-1994-RichardsKSW #logic #named
- Mollusc: A General Proof-Development Shell for Sequent-Based Logics (BLR, IK, AS, GAW), pp. 826–830.
- ML-1991-RichardsM #first-order
- First-Order Theory Revision (BLR, RJM), pp. 447–451.