Browse Research and Tech Reports - Computer Science by Author "Papescu, Andrei"

  • Papescu, Andrei; Rosu, Grigore (2006-04)
    Term-generic first-order logic, or simply generic first-order logic (GFOL), is presented as a first-order logic parameterized with terms defined axiomatically (rather than constructively), by requiring them to only provide ...

    application/pdf

    application/pdfPDF (461kB)