Browse Research and Tech Reports - Computer Science by Subject "first-order logic, separation logic, matching logic"

  • Rosu, Grigore (2014-01-20)
    Matching logic is a first-order logic (FOL) variant to reason about structure. Its sentences, called patterns, are constructed using variables, symbols, connectives and quantifiers, but no dif ference is made between ...

    application/pdf

    application/pdfPDF (232kB)