{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q5136334","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q5136334","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q5136334","kernelVersion":"v1","immutable":true,"modified":"2026-04-05T07:23:56Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q5136334","name":"Average stack cost of Büchi pushdown automata","headline":"Average stack cost of Büchi pushdown automata","description":"scientific article; zbMATH DE number 7278114","url":"https://portal.mardi4nfdi.de/entity/Q5136334","datePublished":"2020-11-25","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2009650"},{"@id":"https://portal.mardi4nfdi.de/entity/Q438583"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.4230/LIPICS.FSTTCS.2017.42","url":"https://doi.org/10.4230/LIPICS.FSTTCS.2017.42"},"sameAs":["https://doi.org/10.4230/LIPICS.FSTTCS.2017.42"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2413482"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2946611"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4635850"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4608720"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2986796"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3862379"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5326328"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5458821"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2568453"}]},"provenance":{"prov:generatedAtTime":"2026-04-05T07:23:56Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}