×

Found 35 Documents (Results 1–35)

The triple-pair construction for weighted \(\omega\)-pushdown automata. (English) Zbl 1483.68163

Csuhaj-Varjú, Erzsébet (ed.) et al., Proceedings of the 15th international conference on automata and formal languages, AFL’17, Debrecen, Hungary, September 4–6, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 101-113 (2017).
MSC:  68Q45 16Y60 68Q70
PDFBibTeX XMLCite
Full Text: arXiv Link

Solving fixed point equations over complete semirings. (English) Zbl 1395.16050

Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific (ISBN 978-981-3148-19-2/hbk; 978-981-3148-21-5/ebook). 33-58 (2017).
MSC:  16Y60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras. (English) Zbl 1345.08004

Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 159-170 (2011).
MSC:  08A70 68Q70 16Y60
PDFBibTeX XMLCite
Full Text: DOI

Linear languages of finite and infinite words. (English) Zbl 1264.68092

Ito, Masami (ed.) et al., Automata, formal languages and algebraic systems. Proceedings of AFLAS 2008, Kyoto, Japan, September 20–22, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4317-60-3/hbk; 978-981-4317-61-0/ebook). 33-46 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Iteration grove theories with applications. (English) Zbl 1256.68123

Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Third international conference, CAI 2009, Thessaloniki, Greece, May 19–22, 2009, Proceedings. Berlin: Springer (ISBN 978-3-642-03563-0/pbk). Lecture Notes in Computer Science 5725, 227-249 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Cycle-free finite automata in partial iterative semirings. (English) Zbl 1256.68121

Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Third international conference, CAI 2009, Thessaloniki, Greece, May 19–22, 2009, Proceedings. Berlin: Springer (ISBN 978-3-642-03563-0/pbk). Lecture Notes in Computer Science 5725, 1-12 (2009).
MSC:  68Q70 16Y60
PDFBibTeX XMLCite
Full Text: DOI

Iteration semirings. (English) Zbl 1161.68598

Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 1-20 (2008).
MSC:  68Q70 16Y60
PDFBibTeX XMLCite
Full Text: DOI

An algebraic generalization of \(\omega\)-regular languages. (English) Zbl 1096.68096

Fiala, Jiří(ed.) et al., Mathematical foundations of computer Science 2004. 29th international symposium, MFCS 2004, Prague, Czech Republic, August 22–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22823-3/pbk). Lecture Notes in Computer Science 3153, 648-659 (2004).
MSC:  68Q70 16Y60
PDFBibTeX XMLCite
Full Text: DOI

Greibach normal form in algebraically complete semirings. (English) Zbl 1020.68056

Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 135-150 (2002).
MSC:  68Q70 16Y60
PDFBibTeX XMLCite
Full Text: Link

A generalization of Kozen’s axiomatization of the equational theory of the regular sets. (English) Zbl 1499.68207

Masami, Ito (ed.) et al., Words, semigroups, & transductions. Festschrift in honor of Gabriel Thierrin. Singapore: World Scientific. 99-114 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Axiomatizing tropical semirings. (English) Zbl 0978.16045

Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 42-56 (2001).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field