Pushdown Systems

Anders Schlichtkrull; Morten Konggaard Schou; Jirí Srba; Dmitriy Traytel

Pushdown Systems

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Archive of Formal Proofs
Vol/bind	2023
ISSN	2150-914x
Status	Udgivet - 2023

Bibliografisk note

DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Adgang til dokumentet

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@article{43f8dc402fb946b29bf9b54a21c65499,

title = "Pushdown Systems",

author = "Anders Schlichtkrull and Schou, {Morten Konggaard} and Jir{\'i} Srba and Dmitriy Traytel",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2023",

language = "English",

volume = "2023",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}

TY - JOUR

T1 - Pushdown Systems

AU - Schlichtkrull, Anders

AU - Schou, Morten Konggaard

AU - Srba, Jirí

AU - Traytel, Dmitriy

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2023

Y1 - 2023

M3 - Journal article

SN - 2150-914x

VL - 2023

JO - Archive of Formal Proofs

JF - Archive of Formal Proofs

ER -