www.ps.uni-saarland.de/Publications/details/Doczkal:2016:PhDThesis.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
      A Machine-Checked Constructive Metatheory of Computation Tree Logic
    • citation_author
      Christian Doczkal
    • citation_pdf_url
      https://ps.uni-saarland.de/Publications/documents/Doczkal_2016_PhDThesis.pdf

  • Link Tags

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

Links

13