×

Found 261 Documents (Results 1–100)

Separating words from every start state with Horner automata. (English) Zbl 07828953

Gazdag, Zsolt (ed.) et al., Proceedings of the 16th international conference on automata and formal languages, AFL, Eger, Hungary, September 5–7, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 386, 243-252 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Corecursive algebras in nature. (English) Zbl 07628071

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 155-175 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI

Counting basic-irreducible factors mod\(p^k\) in deterministic poly-time and \(p\)-adic applications. (English) Zbl 07564415

Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 15, 29 p. (2019).
MSC:  68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software