Search Results - Senaratne, W. R. A. De Z.

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    A new set of quantifiers for the quantifications over sets and their applications in formal mathods

    A new set of quantifiers for the quantifications over sets and their applications in formal mathods by Senaratne, W. R. A. De Z.

    Published 2003
    Book
    Save to List
    Saved in:
  2. 2
    Making formal methods more simple with few extensions to mathematical logic.

    Making formal methods more simple with few extensions to mathematical logic. by Senaratne, W. R. A. De Z.

    Published 2000
    Book
    Save to List
    Saved in:

Search Tools: