www.ps.uni-saarland.de/Publications/details/Doczkal:2009:TT-lifting.html

Preview meta tags from the www.ps.uni-saarland.de website.

Linked Hostnames

3

  • General Meta Tags

    5
    • title
      Publication details
    • content-type
      text/html; charset=utf-8
    • citation_title
      Formalizing TT-lifting in Isabelle/HOL-Nominal
    • citation_author
      Christian Doczkal
    • citation_pdf_url
      https://ps.uni-saarland.de/Publications/documents/Doczkal_2009_TT-lifting.pdf

  • Link Tags

    1
    • stylesheet
      https://www.ps.uni-saarland.de/pslab.css

Links

12