Frisch, Alain OCaml + XDuce. (English) Zbl 1321.68152 Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 192-200 (2006). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{A. Frisch}, in: Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP '06, Portland, OR, USA, September 18--20, 2006. New York, NY: Association for Computing Machinery (ACM). 192--200 (2006; Zbl 1321.68152) Full Text: DOI
Sellmann, Meinolf The theory of grammar constraints. (English) Zbl 1160.68564 Benhamou, Frédéric (ed.), Principles and practice of constraint programming – CP 2006. 12th international conference, CP 2006, Nantes, France, September 25–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46267-5/pbk). Lecture Notes in Computer Science 4204, 530-544 (2006). MSC: 68T20 68Q42 68Q45 PDFBibTeX XMLCite \textit{M. Sellmann}, Lect. Notes Comput. Sci. 4204, 530--544 (2006; Zbl 1160.68564) Full Text: DOI
Finkel, Olivier Undecidable problems about timed automata. (English) Zbl 1141.68433 Asarin, Eugene (ed.) et al., Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45026-9/pbk). Lecture Notes in Computer Science 4202, 187-199 (2006). MSC: 68Q45 03D35 PDFBibTeX XMLCite \textit{O. Finkel}, Lect. Notes Comput. Sci. 4202, 187--199 (2006; Zbl 1141.68433) Full Text: DOI arXiv
Schnitger, Georg Regular expressions and NFAs without \(\epsilon \)-transitions (extended abstract). (English) Zbl 1136.68422 Durand, Bruno (ed.) et al., STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23–25, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-32301-3/pbk). Lecture Notes in Computer Science 3884, 432-443 (2006). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{G. Schnitger}, Lect. Notes Comput. Sci. 3884, 432--443 (2006; Zbl 1136.68422) Full Text: DOI
Petković, Tatjana Regular tree languages and quasi orders. (English) Zbl 1120.68071 Acta Cybern. 17, No. 4, 811-823 (2006). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{T. Petković}, Acta Cybern. 17, No. 4, 811--823 (2006; Zbl 1120.68071)
Lodaya, Kamal A regular viewpoint on processes and algebra. (English) Zbl 1120.68078 Acta Cybern. 17, No. 4, 751-763 (2006). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{K. Lodaya}, Acta Cybern. 17, No. 4, 751--763 (2006; Zbl 1120.68078)
Brown, Ronald; Ghani, Neil; Heyworth, Anne; Wensley, Christopher D. String rewriting for double coset systems. (English) Zbl 1126.20022 J. Symb. Comput. 41, No. 5, 573-590 (2006). MSC: 20F10 20F05 68Q42 20M05 20M35 PDFBibTeX XMLCite \textit{R. Brown} et al., J. Symb. Comput. 41, No. 5, 573--590 (2006; Zbl 1126.20022) Full Text: DOI arXiv
Mitrana, Victor; Manea, Florin; Martin-Vide, Carlos On some algorithmic problems regarding the hairpin completion. (English) Zbl 1291.68181 Grüttmüller, M. (ed.) et al., ODSA 2006. Conference on optimal discrete structures and algorithms, Rostock, Germany, September 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 27, 71-72 (2006). MSC: 68Q25 68Q45 92D20 PDFBibTeX XMLCite \textit{V. Mitrana} et al., Electron. Notes Discrete Math. 27, 71--72 (2006; Zbl 1291.68181) Full Text: DOI
Fonseca, Ana; Thomas, Richard M. Context-free irreducible word problems in groups. (English) Zbl 1133.20019 Fine, Benjamin (ed.) et al., Combinatorial group theory, discrete groups, and number theory. A conference in honor of Gerhard Rosenberger’s sixtieth birthday, Fairfield, CT, USA, December 8–9, 2004 and the AMS special session on infinite groups, Bard College, Annandale-on-Hudson, NY, USA, October 8–9, 2005. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3985-3/pbk). Contemporary Mathematics 421, 125-136 (2006). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 20F10 20F05 20F65 68Q45 PDFBibTeX XMLCite \textit{A. Fonseca} and \textit{R. M. Thomas}, Contemp. Math. 421, 125--136 (2006; Zbl 1133.20019)
Brázdil, Tomáš; Černá, Ivana Model checking of RegCTL. (English) Zbl 1139.68380 Comput. Inform. 25, No. 1, 81-97 (2006). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{T. Brázdil} and \textit{I. Černá}, Comput. Inform. 25, No. 1, 81--97 (2006; Zbl 1139.68380)
Geffert, Viliam; Ištoňová, L’ubomíra Conversion of regular expressions into realtime automata. (English) Zbl 1110.68063 Theor. Inform. Appl. 40, No. 4, 611-629 (2006). MSC: 68Q45 PDFBibTeX XMLCite \textit{V. Geffert} and \textit{L. Ištoňová}, Theor. Inform. Appl. 40, No. 4, 611--629 (2006; Zbl 1110.68063) Full Text: DOI Numdam EuDML Link
Groce, Alex; Peled, Doron; Yannakakis, Mihalis Adaptive model checking. (English) Zbl 1108.68073 Log. J. IGPL 14, No. 5, 729-744 (2006). MSC: 68Q60 68Q32 68T05 PDFBibTeX XMLCite \textit{A. Groce} et al., Log. J. IGPL 14, No. 5, 729--744 (2006; Zbl 1108.68073) Full Text: DOI Link
Jirásková, Galina Deterministic blow-ups of minimal NFA’s. (English) Zbl 1110.68064 Theor. Inform. Appl. 40, No. 3, 485-499 (2006). MSC: 68Q45 68Q19 PDFBibTeX XMLCite \textit{G. Jirásková}, Theor. Inform. Appl. 40, No. 3, 485--499 (2006; Zbl 1110.68064) Full Text: DOI Numdam EuDML Link
Okhotin, Alexander Computational universality in one-variable language equations. (English) Zbl 1106.68063 Fundam. Inform. 74, No. 4, 563-578 (2006). MSC: 68Q45 03D05 03F30 PDFBibTeX XMLCite \textit{A. Okhotin}, Fundam. Inform. 74, No. 4, 563--578 (2006; Zbl 1106.68063)
Hoffmann, Michael; Thomas, Richard M. A geometric characterization of automatic semigroups. (English) Zbl 1155.68039 Theor. Comput. Sci. 369, No. 1-3, 300-313 (2006). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 68Q45 20M05 20M35 PDFBibTeX XMLCite \textit{M. Hoffmann} and \textit{R. M. Thomas}, Theor. Comput. Sci. 369, No. 1--3, 300--313 (2006; Zbl 1155.68039) Full Text: DOI
Subramanian, K. G. (ed.); Rangarajan, K. (ed.); Mukund, Madhavan (ed.) Formal models, languages and applications. (English) Zbl 1138.68434 Series in Machine Perception and Artificial Intelligence 66. Hackensack, NJ: World Scientific (ISBN 981-256-889-1/hbk). viii, 410 p. £ 48.00; $ 84.00 (2006). MSC: 68Q45 68-06 PDFBibTeX XMLCite \textit{K. G. Subramanian} (ed.) et al., Formal models, languages and applications. Hackensack, NJ: World Scientific (2006; Zbl 1138.68434) Full Text: DOI
Cleary, Sean; Elder, Murray; Taback, Jennifer Cone types and geodesic languages for lamplighter groups and Thompson’s group \(F\). (English) Zbl 1115.20032 J. Algebra 303, No. 2, 476-500 (2006). Reviewer: Y. Kobayashi (Funabashi) MSC: 20F65 20F06 20F05 68Q45 PDFBibTeX XMLCite \textit{S. Cleary} et al., J. Algebra 303, No. 2, 476--500 (2006; Zbl 1115.20032) Full Text: DOI arXiv
Li, Ping; Li, Yong-Ming Algebraic properties of \(LA\)-languages. (English) Zbl 1110.68078 Inf. Sci. 176, No. 21, 3232-3255 (2006). MSC: 68Q70 PDFBibTeX XMLCite \textit{P. Li} and \textit{Y.-M. Li}, Inf. Sci. 176, No. 21, 3232--3255 (2006; Zbl 1110.68078) Full Text: DOI
McTague, Carl S.; Crutchfield, James P. Automated pattern detection – an algorithm for constructing optimally synchronizing multi-regular language filters. (English) Zbl 1097.68122 Theor. Comput. Sci. 359, No. 1-3, 306-328 (2006). MSC: 68T10 68Q80 PDFBibTeX XMLCite \textit{C. S. McTague} and \textit{J. P. Crutchfield}, Theor. Comput. Sci. 359, No. 1--3, 306--328 (2006; Zbl 1097.68122) Full Text: DOI
Grahne, Gösta; Thomo, Alex Regular path queries under approximate semantics. (English) Zbl 1110.68033 Ann. Math. Artif. Intell. 46, No. 1-2, 165-190 (2006). MSC: 68P15 68Q45 68Q55 PDFBibTeX XMLCite \textit{G. Grahne} and \textit{A. Thomo}, Ann. Math. Artif. Intell. 46, No. 1--2, 165--190 (2006; Zbl 1110.68033) Full Text: DOI
Petković, T.; Ćirić, M.; Bogdanović, S. On correspondences between unary algebras, automata, semigroups and congruences. (English) Zbl 1103.08003 Algebra Colloq. 13, No. 3, 495-506 (2006). Reviewer: Saeed Salehí (Zanjan) MSC: 08A60 08A30 08B99 20M07 68Q70 PDFBibTeX XMLCite \textit{T. Petković} et al., Algebra Colloq. 13, No. 3, 495--506 (2006; Zbl 1103.08003) Full Text: DOI
Nagy, Benedek Union-free regular languages and 1-cycle-free-path-automata. (English) Zbl 1100.68055 Publ. Math. Debr. 68, No. 1-2, 183-197 (2006). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. Nagy}, Publ. Math. Debr. 68, No. 1--2, 183--197 (2006; Zbl 1100.68055) Full Text: DOI
Champarnaud, J.-M.; Nicart, F.; Ziadi, D. From the \(\mathcal{ZPC}\) structure of a regular expression to its follow automaton. (English) Zbl 1094.68047 Int. J. Algebra Comput. 16, No. 1, 17-34 (2006). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. M. Champarnaud} et al., Int. J. Algebra Comput. 16, No. 1, 17--34 (2006; Zbl 1094.68047) Full Text: DOI
Néraud, Jean Completing prefix codes in submonoids. (English) Zbl 1093.94020 Theor. Comput. Sci. 356, No. 1-2, 245-254 (2006). Reviewer: Jerzy Żurawiecki (Lublin) MSC: 94A45 68R15 68Q45 05E99 PDFBibTeX XMLCite \textit{J. Néraud}, Theor. Comput. Sci. 356, No. 1--2, 245--254 (2006; Zbl 1093.94020) Full Text: DOI
Latteux, Michel; Lemay, Aurélien; Roos, Yves; Terlutte, Alain Identification of birfsa languages. (English) Zbl 1160.68417 Theor. Comput. Sci. 356, No. 1-2, 212-223 (2006). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Latteux} et al., Theor. Comput. Sci. 356, No. 1--2, 212--223 (2006; Zbl 1160.68417) Full Text: DOI
Karhumäki, Juhani; Kunc, Michal; Okhotin, Alexander Computing by commuting. (English) Zbl 1160.68415 Theor. Comput. Sci. 356, No. 1-2, 200-211 (2006). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{J. Karhumäki} et al., Theor. Comput. Sci. 356, No. 1--2, 200--211 (2006; Zbl 1160.68415) Full Text: DOI
Bonizzoni, P.; De Felice, C.; Mauri, G.; Zizza, R. Linear splicing and syntactic monoid. (English) Zbl 1095.68048 Discrete Appl. Math. 154, No. 3, 452-470 (2006). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Bonizzoni} et al., Discrete Appl. Math. 154, No. 3, 452--470 (2006; Zbl 1095.68048) Full Text: DOI
Kambites, Mark Automatic semigroups and categories. (English) Zbl 1095.20032 Theor. Comput. Sci. 353, No. 1-3, 272-290 (2006). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 20M05 20M50 18B40 68Q45 20L05 PDFBibTeX XMLCite \textit{M. Kambites}, Theor. Comput. Sci. 353, No. 1--3, 272--290 (2006; Zbl 1095.20032) Full Text: DOI
Sheng, Li; Li, Yongming Regular grammars with truth values in lattice-ordered monoid and their languages. (English) Zbl 1084.68066 Soft Comput. 10, No. 2, 79-86 (2006). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{L. Sheng} and \textit{Y. Li}, Soft Comput. 10, No. 2, 79--86 (2006; Zbl 1084.68066) Full Text: DOI