Volume 38, Issue 4, May 2007

ISSN: 0168-7433 (Print) 1573-0670 (Online)

In this issue (3 articles)

  1. No Access

    OriginalPaper

    Theory Extension in ACL2(r)

    R. Gamboa, J. Cowles Pages 273-301