×

Found 2,247 Documents (Results 1–100)

Universality and forall-exactness of cost register automata with few registers. (English) Zbl 07953289

Leroux, Jérôme (ed.) et al., 48th international symposium on mathematical foundations of computer science, MFCS 2023, Bordeaux, France, August 28 – September 1, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 272, Article 40, 15 p. (2023).
MSC:  68Qxx
Full Text: DOI

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field