Tarau, Paul Towards a generic view of primality through multiset decompositions of natural numbers. (English) Zbl 1358.11010 Theor. Comput. Sci. 537, 105-124 (2014). MSC: 11-04 11A41 68N18 PDF BibTeX XML Cite \textit{P. Tarau}, Theor. Comput. Sci. 537, 105--124 (2014; Zbl 1358.11010) Full Text: DOI
van der Merwe, A. B.; van Zijl, L.; Geldenhuys, J. Ambiguity and structural ambiguity of symmetric difference NFAs. (English) Zbl 1359.68182 Theor. Comput. Sci. 537, 97-104 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. B. van der Merwe} et al., Theor. Comput. Sci. 537, 97--104 (2014; Zbl 1359.68182) Full Text: DOI
Cojocaru, Liliana; Mäkinen, Erkki On some derivation mechanisms and the complexity of their Szilard languages. (English) Zbl 1359.68151 Theor. Comput. Sci. 537, 87-96 (2014). MSC: 68Q42 68Q05 68Q15 68Q45 PDF BibTeX XML Cite \textit{L. Cojocaru} and \textit{E. Mäkinen}, Theor. Comput. Sci. 537, 87--96 (2014; Zbl 1359.68151) Full Text: DOI
Areces, Carlos; Carreiro, Facundo; Figueira, Santiago Characterization, definability and separation via saturated models. (English) Zbl 1323.03016 Theor. Comput. Sci. 537, 72-86 (2014). MSC: 03B45 03C50 03C45 PDF BibTeX XML Cite \textit{C. Areces} et al., Theor. Comput. Sci. 537, 72--86 (2014; Zbl 1323.03016) Full Text: DOI
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna Axiomatizing weak simulation semantics over BCCSP. (English) Zbl 1359.68183 Theor. Comput. Sci. 537, 42-71 (2014). MSC: 68Q55 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., Theor. Comput. Sci. 537, 42--71 (2014; Zbl 1359.68183) Full Text: DOI
Diekert, Volker; Leucker, Martin Topology, monitorable properties and runtime verification. (English) Zbl 1359.68164 Theor. Comput. Sci. 537, 29-41 (2014). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{V. Diekert} and \textit{M. Leucker}, Theor. Comput. Sci. 537, 29--41 (2014; Zbl 1359.68164) Full Text: DOI
Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. (English) Zbl 1359.68216 Theor. Comput. Sci. 537, 3-28 (2014). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{J. Byg} et al., Theor. Comput. Sci. 537, 3--28 (2014; Zbl 1359.68216) Full Text: DOI
Cerone, Antonio (ed.); Pihlajasaari, Pekka (ed.) Preface: Theoretical aspects of computing (ICTAC 2011). (English) Zbl 1298.00245 Theor. Comput. Sci. 537, 1-2 (2014). MSC: 00B25 68-06 68Qxx PDF BibTeX XML Cite \textit{A. Cerone} (ed.) and \textit{P. Pihlajasaari} (ed.), Theor. Comput. Sci. 537, 1--2 (2014; Zbl 1298.00245) Full Text: DOI