ACTION-1007: Review new FLD appendix on herbrand structures
Review new FLD appendix on herbrand structures
- State:
- closed
- Person:
- Adrian Paschke
- Due on:
- May 11, 2010
- Created on:
- May 4, 2010
- Related emails:
- [Admin] Draft minutes for Telecon 18 May 2010 (from dave.e.reynolds@googlemail.com on 2010-05-18)
- Re: ACTION-1007 - Review new FLD appendix on herbrand structures (from kifer@cs.stonybrook.edu on 2010-05-10)
- ACTION-1007 - Review new FLD appendix on herbrand structures (from adrian.paschke@gmx.de on 2010-05-10)
Related notes:
No additional notes.
Display change log.