Browse Research and Tech Reports - Computer Science by Subject "variants"

  • Meseguer Jose (2018-03-19)
    A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories ...

    application/pdf

    application/pdfPDF (439kB)
  • Meseguer, Jose (2018-12-19)
    A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories ...

    application/pdf

    application/pdfPDF (716kB)
  • Cholewa, Andrew; Meseguer, José; Escobar, Santiago (2014-02-11)
    Variants and the finite variant property were originally introduced about a decade ago by Hurbert Comon-Lundh and Stephanie Delaune to reason about equational theories that commonly appear in cryptographic protocol analysis. ...

    application/pdf

    application/pdfPDF (340kB)