Volume 537

Theoretical Computer Science

Volume 537

1

Ambiguity and structural ambiguity of symmetric difference NFAs

van der Merwe, A.B., van Zijl, L., Geldenhuys, J.

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 333 KB

english, 2014

2

Towards a generic view of primality through multiset decompositions of natural numbers

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.73 MB

english, 2014

3

On some derivation mechanisms and the complexity of their Szilard languages

Cojocaru, Liliana, Mäkinen, Erkki

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 629 KB

english, 2014

4

Characterization, definability and separation via saturated models

Areces, Carlos, Carreiro, Facundo, Figueira, Santiago

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 815 KB

english, 2014

5

Topology, monitorable properties and runtime verification

Diekert, Volker, Leucker, Martin

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 754 KB

english, 2014

6

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata

Byg, Joakim, Jacobsen, Morten, Jacobsen, Lasse, Jørgensen, Kenneth Yrke, Møller, Mikael Harkjær, Srba, Jiří

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.59 MB

english, 2014

7

Axiomatizing weak simulation semantics over BCCSP

Aceto, Luca, de Frutos Escrig, David, Gregorio-Rodríguez, Carlos, Ingolfsdottir, Anna

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 425 KB

english, 2014

8

Theoretical Aspects of Computing (ICTAC 2011)

Cerone, Antonio, Pihlajasaari, Pekka

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 143 KB

english, 2014