dx.doi.org/10.4230/LIPIcs.CSL.2016.42

Preview meta tags from the dx.doi.org website.

Linked Hostnames

12

  • General Meta Tags

    73
    • title
      Infinitary Proof Theory: the Multiplicative Additive Case
    • charset
      utf-8
    • X-UA-Compatible
      IE=edge
    • google
      notranslate
    • Content-Language
      en

  • Link Tags

    7
    • alternate
      https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.42/metadata/xml
    • alternate
      https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.42/metadata/bibtex/download
    • alternate
      https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.42/metadata/schema-org
    • alternate
      /oai/?verb=GetRecord&metadataPrefix=oai_dc&identifier=6582
    • canonical
      https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.42

Emails

2
  • ?subject=Infinitary+Proof+Theory%3A+the+Multiplicative+Additive+Case&body=https%3A%2F%2Fdoi.org%2F10.4230%2FLIPIcs.CSL.2016.42
  • [email protected]

Links

138