Holzer, Markus; Rauch, Christian The range of state complexities of languages resulting from the cascade product – the unary case. (English) Zbl 07770238 Int. J. Found. Comput. Sci. 34, No. 8, 987-1022 (2023). MSC: 68Q04 68Q10 68Q45 68R05 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{C. Rauch}, Int. J. Found. Comput. Sci. 34, No. 8, 987--1022 (2023; Zbl 07770238) Full Text: DOI
Moreira, Nelma (ed.); Reis, Rogéxrio (ed.) Preface: Special issue: 25th international conference on developments in language theory (DLT 2021). (English) Zbl 1517.68025 Int. J. Found. Comput. Sci. 34, No. 2-3, 81-83 (2023). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{N. Moreira} (ed.) and \textit{R. Reis} (ed.), Int. J. Found. Comput. Sci. 34, No. 2--3, 81--83 (2023; Zbl 1517.68025) Full Text: DOI
Csuhaj-Varjú, Erzsébet (ed.); Dömösi, Pál (ed.); Vaszil, György (ed.) Preface: Special issue: 15th international conference on automata and formal languages. (English) Zbl 1517.68008 Int. J. Found. Comput. Sci. 33, No. 3-4, 175-178 (2022). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{E. Csuhaj-Varjú} (ed.) et al., Int. J. Found. Comput. Sci. 33, No. 3--4, 175--178 (2022; Zbl 1517.68008) Full Text: DOI
Koechlin, Florent; Nicaud, Cyril; Rotondo, Pablo Simplifications of uniform expressions specified by systems. (English) Zbl 1518.68179 Int. J. Found. Comput. Sci. 32, No. 6, 733-760 (2021). MSC: 68Q45 68R05 PDFBibTeX XMLCite \textit{F. Koechlin} et al., Int. J. Found. Comput. Sci. 32, No. 6, 733--760 (2021; Zbl 1518.68179) Full Text: DOI
Jonoska, Nataša (ed.); Savchuk, Dmytro (ed.) Preface. (English) Zbl 1517.68018 Int. J. Found. Comput. Sci. 32, No. 6, 615-617 (2021). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{N. Jonoska} (ed.) and \textit{D. Savchuk} (ed.), Int. J. Found. Comput. Sci. 32, No. 6, 615--617 (2021; Zbl 1517.68018) Full Text: DOI
Holzer, Markus (ed.); Kutrib, Martin (ed.) Preface. (English) Zbl 1517.68017 Int. J. Found. Comput. Sci. 32, No. 5, 417-418 (2021). MSC: 68-06 68Q45 00B15 00B30 PDFBibTeX XMLCite \textit{M. Holzer} (ed.) and \textit{M. Kutrib} (ed.), Int. J. Found. Comput. Sci. 32, No. 5, 417--418 (2021; Zbl 1517.68017) Full Text: DOI
Câmpeanu, Cezar (ed.) Implementations and applications of automata 2018: Preface. (English) Zbl 1458.68005 Int. J. Found. Comput. Sci. 31, No. 8, 979-982 (2020). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{C. Câmpeanu} (ed.), Int. J. Found. Comput. Sci. 31, No. 8, 979--982 (2020; Zbl 1458.68005) Full Text: DOI
Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François A pattern logic for automata with outputs. (English) Zbl 1458.68097 Int. J. Found. Comput. Sci. 31, No. 6, 711-748 (2020). MSC: 68Q45 03B70 68Q25 68Q60 PDFBibTeX XMLCite \textit{E. Filiot} et al., Int. J. Found. Comput. Sci. 31, No. 6, 711--748 (2020; Zbl 1458.68097) Full Text: DOI
Seki, Shinnosuke (ed.) Special issue: Developments in language theory 2018 – Preface. (English) Zbl 1458.68010 Int. J. Found. Comput. Sci. 31, No. 6, 663-665 (2020). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{S. Seki} (ed.), Int. J. Found. Comput. Sci. 31, No. 6, 663--665 (2020; Zbl 1458.68010) Full Text: DOI
Dimitrijevs, Maksims; Yakaryılmaz, Abuzer Uncountable realtime probabilistic classes. (English) Zbl 1427.68143 Int. J. Found. Comput. Sci. 30, No. 8, 1317-1333 (2019). MSC: 68Q45 68Q25 68Q87 PDFBibTeX XMLCite \textit{M. Dimitrijevs} and \textit{A. Yakaryılmaz}, Int. J. Found. Comput. Sci. 30, No. 8, 1317--1333 (2019; Zbl 1427.68143) Full Text: DOI arXiv
Câmpeanu, Cezar (ed.); Pighizzini, Giovanni (ed.) Special issue: Descriptional complexity of formal systems 2017. Preface. (English) Zbl 1427.68012 Int. J. Found. Comput. Sci. 30, No. 6-7, 827-829 (2019). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{C. Câmpeanu} (ed.) and \textit{G. Pighizzini} (ed.), Int. J. Found. Comput. Sci. 30, No. 6--7, 827--829 (2019; Zbl 1427.68012) Full Text: DOI
Charlier, Émilie (ed.); Leroy, Julien (ed.); Rigo, Michel (ed.) Preface. (English) Zbl 1415.68019 Int. J. Found. Comput. Sci. 30, No. 1, 1-4 (2019). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{É. Charlier} (ed.) et al., Int. J. Found. Comput. Sci. 30, No. 1, 1--4 (2019; Zbl 1415.68019) Full Text: DOI
Finkel, Olivier Incompleteness theorems, large cardinals, and automata over finite words. (English) Zbl 1459.03056 Int. J. Found. Comput. Sci. 30, No. 3, 449-467 (2019). MSC: 03D05 03E55 03F40 PDFBibTeX XMLCite \textit{O. Finkel}, Int. J. Found. Comput. Sci. 30, No. 3, 449--467 (2019; Zbl 1459.03056) Full Text: DOI
Blondin Massé, Alexandre (ed.); Brlek, Srečko (ed.); Reutenauer, Christophe (ed.) Special issue: Developments in language theory (DLT 2016). Preface. (English) Zbl 1395.68008 Int. J. Found. Comput. Sci. 29, No. 5, 701-704 (2018). MSC: 68-06 68Q45 68R15 00B25 PDFBibTeX XMLCite \textit{A. Blondin Massé} (ed.) et al., Int. J. Found. Comput. Sci. 29, No. 5, 701--704 (2018; Zbl 1395.68008) Full Text: DOI
Potapov, Igor (ed.); Semukhin, Pavel (ed.) Special issue: Developments in language theory (DLT 2015). Preface. (English) Zbl 1387.68027 Int. J. Found. Comput. Sci. 29, No. 2, 139-141 (2018). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{I. Potapov} (ed.) and \textit{P. Semukhin} (ed.), Int. J. Found. Comput. Sci. 29, No. 2, 139--141 (2018; Zbl 1387.68027) Full Text: DOI
Kapoutsis, Christos A.; Mulaffer, Lamana A logical characterization of small 2NFAs. (English) Zbl 1380.68254 Int. J. Found. Comput. Sci. 28, No. 5, 445-464 (2017). MSC: 68Q45 03B70 68Q15 68Q19 PDFBibTeX XMLCite \textit{C. A. Kapoutsis} and \textit{L. Mulaffer}, Int. J. Found. Comput. Sci. 28, No. 5, 445--464 (2017; Zbl 1380.68254) Full Text: DOI
Han, Yo-Sub (ed.); Salomaa, Kai (ed.) Special issue: 21st international conference on implementation and application of automata (CIAA 2016). Preface. (English) Zbl 1380.68010 Int. J. Found. Comput. Sci. 28, No. 5, 437-439 (2017). MSC: 68-06 68Q45 00B25 PDFBibTeX XMLCite \textit{Y.-S. Han} (ed.) and \textit{K. Salomaa} (ed.), Int. J. Found. Comput. Sci. 28, No. 5, 437--439 (2017; Zbl 1380.68010) Full Text: DOI
Fazekas, Szilárd Zsolt (ed.); Shikishima-Tsuji, Kayoko (ed.); Yamamura, Akihiro (ed.) Special issue: Semigroups, languages and algebras. Preface. (English) Zbl 1349.00274 Int. J. Found. Comput. Sci. 27, No. 3, 301-303 (2016). MSC: 00B25 68-06 68Q45 PDFBibTeX XMLCite \textit{S. Z. Fazekas} (ed.) et al., Int. J. Found. Comput. Sci. 27, No. 3, 301--303 (2016; Zbl 1349.00274) Full Text: DOI
Shur, Arseny (ed.) Special issue: Developments in language theory (DLT 2014). Preface. (English) Zbl 1338.00075 Int. J. Found. Comput. Sci. 27, No. 2, 101-102 (2016). MSC: 00B25 68-06 68Q45 PDFBibTeX XMLCite \textit{A. Shur} (ed.), Int. J. Found. Comput. Sci. 27, No. 2, 101--102 (2016; Zbl 1338.00075) Full Text: DOI
Ésik, Zoltán (ed.) Special issue: Automata and formal languages (AFL 2014). Preface. (English) Zbl 1335.00146 Int. J. Found. Comput. Sci. 26, No. 8, 1007-1008 (2015). MSC: 00B25 68-06 68Q45 PDFBibTeX XMLCite \textit{Z. Ésik} (ed.), Int. J. Found. Comput. Sci. 26, No. 8, 1007--1008 (2015; Zbl 1335.00146) Full Text: DOI
Holzer, Markus (ed.); Kutrib, Martin (ed.) Special Issue: Implementation and application of automata (CIAAA 2014). Preface. (English) Zbl 1330.00036 Int. J. Found. Comput. Sci. 26, No. 7, 803-804 (2015). MSC: 00B25 68-06 68Q45 PDFBibTeX XMLCite \textit{M. Holzer} (ed.) and \textit{M. Kutrib} (ed.), Int. J. Found. Comput. Sci. 26, No. 7, 803--804 (2015; Zbl 1330.00036) Full Text: DOI
Torkestani, Javad Akbari Algorithms for Steiner connected dominating set problem based on learning automata theory. (English) Zbl 1346.68259 Int. J. Found. Comput. Sci. 26, No. 6, 769-801 (2015). MSC: 68W25 05C69 05C85 68Q45 68R10 PDFBibTeX XMLCite \textit{J. A. Torkestani}, Int. J. Found. Comput. Sci. 26, No. 6, 769--801 (2015; Zbl 1346.68259) Full Text: DOI
Giambruno, Laura; Mantaci, Sabrina; Néraud, Jean; Selmi, Carla A generalization of Girod’s bidirectional decoding method to codes with a finite deciphering delay. (English) Zbl 1372.94402 Int. J. Found. Comput. Sci. 26, No. 6, 733-749 (2015). MSC: 94A45 94B35 68P30 68Q45 PDFBibTeX XMLCite \textit{L. Giambruno} et al., Int. J. Found. Comput. Sci. 26, No. 6, 733--749 (2015; Zbl 1372.94402) Full Text: DOI
Béal, Marie-Pierre (ed.); Carton, Olivier (ed.) Special issue: Developments in language theory (DLT 2013). Preface. (English) Zbl 1310.00036 Int. J. Found. Comput. Sci. 25, No. 8, 933-935 (2014). MSC: 00B25 68Q45 68-06 PDFBibTeX XMLCite \textit{M.-P. Béal} (ed.) and \textit{O. Carton} (ed.), Int. J. Found. Comput. Sci. 25, No. 8, 933--935 (2014; Zbl 1310.00036) Full Text: DOI
Jürgensen, Helmut (ed.); Reis, Rogério (ed.) Special issue: Descriptional complexity of formal systems (DCFS 2013). Preface. (English) Zbl 1305.00143 Int. J. Found. Comput. Sci. 25, No. 7, Article ID 803 (2014). MSC: 00B25 68-06 68Q30 68Q45 PDFBibTeX XMLCite \textit{H. Jürgensen} (ed.) and \textit{R. Reis} (ed.), Int. J. Found. Comput. Sci. 25, No. 7, Article ID 803 (2014; Zbl 1305.00143) Full Text: DOI
Yen, Hsu-Chun (ed.); Ibarra, Oscar H. (ed.) Preface. (English) Zbl 1298.00366 Int. J. Found. Comput. Sci. 24, No. 7, 941-943 (2013). MSC: 00B25 68-06 68Q45 PDFBibTeX XMLCite \textit{H.-C. Yen} (ed.) and \textit{O. H. Ibarra} (ed.), Int. J. Found. Comput. Sci. 24, No. 7, 941--943 (2013; Zbl 1298.00366) Full Text: DOI
Gheorghe, Marian; Păun, Gheorghe; Pérez-Jiménez, Mario J.; Rozenberg, Grzegorz [Alhazov, A.; Ivanov, S.; Rogozhin, Y.; Csuhaj-Varjú, E.; Pan, L.; Song, T.; Krithivasan, K.; Ramanujan, A.; Vaszil, G.; Leporati, A.; Mauri, G.; Porreca, A. E.; Zandron, C.; Murphy, N.; Riscos-Núñez, A.; Rius-Font, M.; Romero-Jiménez, Á.; Cavaliere, M.; Vasile, C.; Pavel, A. B.; Dumitrache, I.; Ipate, F.; Agrigoroaiei, O.; Aman, B.; Ciobanu, G.; Zhang, G.; Manca, V.; Hinze, T.; Romero-Campero, F. J.; Obtulowicz, A.; Díaz-Pernil, D.; Gutiérrez-Naranjo, M. A.; García-Quismondo, M.; Macías-Ramos, L. F.; Martínez-del-Amor, M. A.; Pérez-Hurtado, I.; Valencia-Cabrera, L.] Research frontiers of membrane computing: open problems and research topics. (English) Zbl 1292.68065 Int. J. Found. Comput. Sci. 24, No. 5, 547-623 (2013). MSC: 68Q10 68-02 68Q05 68Q45 68Q60 68Q17 68Q15 PDFBibTeX XMLCite \textit{M. Gheorghe} et al., Int. J. Found. Comput. Sci. 24, No. 5, 547--623 (2013; Zbl 1292.68065) Full Text: DOI
Goč, Daniel; Henshall, Dane; Shallit, Jeffrey Automatic theorem-proving in combinatorics on words. (English) Zbl 1304.68143 Int. J. Found. Comput. Sci. 24, No. 6, 781-798 (2013). Reviewer: Francine Blanchet-Sadri (Greensboro) MSC: 68R15 05A05 11B85 68-04 68Q45 68T15 PDFBibTeX XMLCite \textit{D. Goč} et al., Int. J. Found. Comput. Sci. 24, No. 6, 781--798 (2013; Zbl 1304.68143) Full Text: DOI
Moreira, Nelma (ed.); Reis, Rogério (ed.) Special issue: Implementation and application of automata (CIAA 2012). Preface. (English) Zbl 1298.00327 Int. J. Found. Comput. Sci. 24, No. 6, 689-690 (2013). MSC: 00B25 68-06 68Q45 68Q70 PDFBibTeX XMLCite \textit{N. Moreira} (ed.) and \textit{R. Reis} (ed.), Int. J. Found. Comput. Sci. 24, No. 6, 689--690 (2013; Zbl 1298.00327) Full Text: DOI
Kalampakas, Antonios; Louscou-Bozapalidou, Olympia Minimization of planar directed acyclic graph algebras. (English) Zbl 1286.68334 Int. J. Found. Comput. Sci. 24, No. 4, 519-531 (2013). MSC: 68Q70 68R10 PDFBibTeX XMLCite \textit{A. Kalampakas} and \textit{O. Louscou-Bozapalidou}, Int. J. Found. Comput. Sci. 24, No. 4, 519--531 (2013; Zbl 1286.68334) Full Text: DOI
Yue, Houguang From computing to interaction: on the expressiveness of asynchronous pi-calculus. (English) Zbl 1286.68298 Int. J. Found. Comput. Sci. 24, No. 3, 349-373 (2013). MSC: 68Q45 03B70 03B40 PDFBibTeX XMLCite \textit{H. Yue}, Int. J. Found. Comput. Sci. 24, No. 3, 349--373 (2013; Zbl 1286.68298) Full Text: DOI
Masáková, Zuzana (ed.); Holub, Štěpán (ed.) Special issue: Selected papers based on the presentations at the 8th conference WORDS 2011, Prague, Czech Republic, September 12–16, 2011. (English) Zbl 1282.68073 Int. J. Found. Comput. Sci. 23, No. 8, 1579-1727 (2012). MSC: 68-06 00B25 68R15 68Q45 PDFBibTeX XML
Chaturvedi, Namit; Olschewski, Jörg; Thomas, Wolfgang Languages versus \(\omega\)-languages in regular infinite games. (English) Zbl 1262.68087 Int. J. Found. Comput. Sci. 23, No. 5, 985-1000 (2012). MSC: 68Q45 91A05 03B70 PDFBibTeX XMLCite \textit{N. Chaturvedi} et al., Int. J. Found. Comput. Sci. 23, No. 5, 985--1000 (2012; Zbl 1262.68087) Full Text: DOI
Mauri, Giancarlo (ed.); Leporati, Alberto (ed.) Special issue: Selected papers based on the presentations at the 15th international conference, DLT 2011, Milan, Italy, July 19–22, 2011. (English) Zbl 1286.68005 Int. J. Found. Comput. Sci. 23, No. 5, 965-1098 (2012). MSC: 68-06 00B25 68Q45 68R15 PDFBibTeX XML
Kappes, Martin; Malcher, Andreas; Wotschke, Detlef In memoriam Chandra Kintala. (English) Zbl 1246.01037 Int. J. Found. Comput. Sci. 23, No. 1, 5-19 (2012). MSC: 01A70 68Q19 68Q45 68-03 PDFBibTeX XMLCite \textit{M. Kappes} et al., Int. J. Found. Comput. Sci. 23, No. 1, 5--19 (2012; Zbl 1246.01037) Full Text: DOI
Montanari, Angelo (ed.); Napoli, Magherita (ed.); Parente, Mimmo (ed.) Special issue: Games, Automata, logic, and formal verification (GandALF 2010). Selected papers based on the presentations at the 1st symposium, Minori, Itay, June 17–18, 2010. (English) Zbl 1250.68042 Int. J. Found. Comput. Sci. 23, No. 3, 555-711 (2012). MSC: 68-06 91-06 03-06 00B25 68Q60 68Q45 91A05 91A43 91A24 91A15 03B80 03B44 03B45 03D05 PDFBibTeX XML
McQuillan, Ian (ed.); Pighizzini, Giovanni (ed.) Special issue: Description complexity of formal systems 2010 (DCFS). Selected papers based on the presentations at the 12th annual workshop, Saskatoon, Canada, August 8–10, 2010. (English) Zbl 1250.68040 Int. J. Found. Comput. Sci. 23, No. 1, 146 p. (2012). MSC: 68-06 00B25 68Q45 68Q19 PDFBibTeX XML
Domaratzki, Michael (ed.); Salomaa, Kai (ed.) Special issue: Implementation and application of automata (CIAA 2010). Selected papers based on the presentations at the conference, Winnipeg, Canada, August 12–15, 2010. (English) Zbl 1255.68026 Int. J. Found. Comput. Sci. 22, No. 8, 1759-1924 (2011). MSC: 68-06 00B25 68Q45 PDFBibTeX XML
Han, Yo-Sub; Salomaa, Kai Overlap-free languages and solid codes. (English) Zbl 1222.68105 Int. J. Found. Comput. Sci. 22, No. 5, 1197-1209 (2011). MSC: 68Q45 68P30 68R10 PDFBibTeX XMLCite \textit{Y.-S. Han} and \textit{K. Salomaa}, Int. J. Found. Comput. Sci. 22, No. 5, 1197--1209 (2011; Zbl 1222.68105) Full Text: DOI
Dieckert, Volker (ed.); Nowotka, Dirk (ed.) Special issue: Developments in language theory (DLT 2009). Selected papers based on the presentations at the 13th international conference, Stuttgart, Germany, June 30 – July 3, 2010. (English) Zbl 1213.68034 Int. J. Found. Comput. Sci. 22, No. 2, 275-426 (2011). MSC: 68-06 68Q45 68Q42 68Q70 68R15 03B25 00B25 PDFBibTeX XML
Yamakami, Tomoyuki The roles of advice to one-tape linear-time Turing machines and finite automata. (English) Zbl 1206.68120 Int. J. Found. Comput. Sci. 21, No. 6, 941-962 (2010). MSC: 68Q05 03D15 68Q15 68Q45 68Q87 PDFBibTeX XMLCite \textit{T. Yamakami}, Int. J. Found. Comput. Sci. 21, No. 6, 941--962 (2010; Zbl 1206.68120) Full Text: DOI arXiv
Kaminski, Michael; Zeitlin, Daniel Finite-memory automata with non-deterministic reassignment. (English) Zbl 1207.68191 Int. J. Found. Comput. Sci. 21, No. 5, 741-760 (2010). MSC: 68Q45 68Q10 68Q87 PDFBibTeX XMLCite \textit{M. Kaminski} and \textit{D. Zeitlin}, Int. J. Found. Comput. Sci. 21, No. 5, 741--760 (2010; Zbl 1207.68191) Full Text: DOI
Csuhaj-Varjú, Erzsébet (ed.); Ések, Zoltán (ed.) Special issue: 12th international conference on automata and formal languages (AFL 2008). Full versions of selected papers based on the presentations at the conference, Balatonfüred, Hungary, May 27–30, 2008. (English) Zbl 1205.68009 Int. J. Found. Comput. Sci. 21, No. 5, 687-872 (2010). MSC: 68-06 68Q70 00B25 PDFBibTeX XML
Ito, Masami (ed.) Special issue: 12th international conference on development in language theory (DLT 2008). Selected papers based on the presentations at the conference, Kyoto, Japan, September 15–19, 2008. (English) Zbl 1198.68043 Int. J. Found. Comput. Sci. 21, No. 4, 477-685 (2010). MSC: 68-06 68Q45 00B25 PDFBibTeX XML
Halawa, Vesa (ed.); Potapov, Igor (ed.) Special issue: Reachability problems (RP 2008). Selected papers based on the presentations at the 2nd international workshop, Liverpool, UK, September 15–17, 2008. (English) Zbl 1194.68038 Int. J. Found. Comput. Sci. 20, No. 5, 775-963 (2009). MSC: 68-06 68Q25 68Q45 PDFBibTeX XML
Matsumoto, Tetsuya; Hagio, Kazuhito; Takeda, Masayuki A run-time efficient implementation of compressed pattern matching automata. (English) Zbl 1180.68160 Int. J. Found. Comput. Sci. 20, No. 4, 717-733 (2009). MSC: 68P30 68Q45 68W32 PDFBibTeX XMLCite \textit{T. Matsumoto} et al., Int. J. Found. Comput. Sci. 20, No. 4, 717--733 (2009; Zbl 1180.68160) Full Text: DOI
Ibarra, Oscar H. (ed.); Ravikumar, Bala (ed.) Special issue: Selected papers based on the presentations at the 13th international conference on implementation and application of automata (CIAA’08), San Francisco, CA, USA, July 21–24, 2008. (English) Zbl 1194.68046 Int. J. Found. Comput. Sci. 20, No. 4, 559-774 (2009). MSC: 68-06 68Q45 00B25 PDFBibTeX XML
Ciobanu, Gabriel; Gontineac, Mihai Encodings of multisets. (English) Zbl 1207.68228 Int. J. Found. Comput. Sci. 20, No. 3, 381-393 (2009). MSC: 68R05 11E20 15A63 20M35 68Q10 68Q45 PDFBibTeX XMLCite \textit{G. Ciobanu} and \textit{M. Gontineac}, Int. J. Found. Comput. Sci. 20, No. 3, 381--393 (2009; Zbl 1207.68228) Full Text: DOI
Harju, Tero (ed.); Karhumäki, Juhani (ed.) Special issue: Development in language theory (DLT 2007). Selected papers based on the presentations at the 11th international conference on developments in language theory, Turku, Finland, July 3–6, 2007. (English) Zbl 1168.68313 Int. J. Found. Comput. Sci. 19, No. 3, 495-745 (2008). MSC: 68-06 00B25 68Q45 PDFBibTeX XML
Csuhaj-Varjú, Erzsébet (ed.); Vaszil, György (ed.) Special issue: Selected papers based on the presentations at the international workshop on automata for cellular and molecular computing, Budapest, Hungary, August 31, 2007. (English) Zbl 1168.68309 Int. J. Found. Comput. Sci. 19, No. 5, Part 2, 1181-1276 (2008). MSC: 68-06 68Q05 68Q45 68Q80 00B25 PDFBibTeX XML
Domaratzki, Michael (ed.); Salomaa, Kai (ed.) Special issue: Selected papers based on the presentations at the workshop on language theory in biocomputing, Kingston, Ontario, Canada, August 15, 2007. (English) Zbl 1168.68311 Int. J. Found. Comput. Sci. 19, No. 5, Part 1, 1085-1179 (2008). MSC: 68-06 00B25 68Q05 68Q10 68Q45 PDFBibTeX XML
Tošić, Predrag T. On the complexity of counting fixed points and Gardens of Eden in sequential dynamical systems on planar bipartite graphs. (English) Zbl 1100.68072 Int. J. Found. Comput. Sci. 17, No. 5, 1179-1203 (2006). MSC: 68Q80 37B15 68Q25 68R10 PDFBibTeX XMLCite \textit{P. T. Tošić}, Int. J. Found. Comput. Sci. 17, No. 5, 1179--1203 (2006; Zbl 1100.68072) Full Text: DOI
D’Souza, Deepak A logical characterisation of event clock automata. (English) Zbl 1101.68647 Int. J. Found. Comput. Sci. 14, No. 4, 625-639 (2003). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. D'Souza}, Int. J. Found. Comput. Sci. 14, No. 4, 625--639 (2003; Zbl 1101.68647) Full Text: DOI
Smith, Scott F. Hybrid partial-total type theory. (English) Zbl 0830.68078 Int. J. Found. Comput. Sci. 6, No. 3, 235-263 (1995). MSC: 68Q45 68N17 03B70 PDFBibTeX XMLCite \textit{S. F. Smith}, Int. J. Found. Comput. Sci. 6, No. 3, 235--263 (1995; Zbl 0830.68078) Full Text: DOI
McNaughton, Robert The development of formal language theory since 1956. (English) Zbl 0723.68062 Int. J. Found. Comput. Sci. 1, No. 4, 355-368 (1990). MSC: 68Q45 68-02 PDFBibTeX XMLCite \textit{R. McNaughton}, Int. J. Found. Comput. Sci. 1, No. 4, 355--368 (1990; Zbl 0723.68062) Full Text: DOI