×

Found 29,424 Documents (Results 1–100)

100
MathJax

Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. (English) Zbl 07531385

Lecture Notes in Computer Science 13257. Cham: Springer (ISBN 978-3-031-05577-5/pbk; 978-3-031-05578-2/ebook). xviii, 126 p. (2022).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI

Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. (English) Zbl 07497120

Lecture Notes in Computer Science 13030. Cham: Springer (ISBN 978-3-030-91383-0/pbk; 978-3-030-91384-7/ebook). viii, 219 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 12th international symposium on games, automata, logics, and formal verification, GandALF, Padua, Italy, September 20–22, 2021. (English) Zbl 07544355

Electronic Proceedings in Theoretical Computer Science (EPTCS) 346. Waterloo: Open Publishing Association (OPA). 307 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 07530222

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Automata model for verifying attibuted-based access control policy in systems with a finite number of objects. (English. Russian original) Zbl 07514311

Mosc. Univ. Math. Bull. 76, No. 5, 230-233 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57-60 (2021).
MSC:  68M25 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Parikh word representable graphs and morphisms. (English) Zbl 07498740

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 368-379 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Branching frequency and Markov entropy of repetition-free languages. (English) Zbl 07498737

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 328-341 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

The range of state complexities of languages resulting from the cascade product – the general case (extended abstract). (English) Zbl 07498729

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 229-241 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

State complexity of projection on languages recognized by permutation automata and commuting letters. (English) Zbl 07498726

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 192-203 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words. (English) Zbl 07498725

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 180-191 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Balanced-by-construction regular and \(\omega \)-regular languages. (English) Zbl 07498721

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 130-142 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Reducing local alphabet size in recognizable picture languages. (English) Zbl 07498719

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 103-116 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Compositions of constant weighted extended tree transducers. (English) Zbl 07498716

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 66-77 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Active learning of sequential transducers with side information about the domain. (English) Zbl 07498715

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 54-65 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software