Search Results - Sannella, D.T.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Completeness of Proof Systems for Equational Specifications

    Completeness of Proof Systems for Equational Specifications by MacQueen, D.B., Sannella, D.T.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: