AAAAAA

   
Results: 1-7 |
Results: 7
ON A QUESTION OF SALOMAA,A. - THE EQUATIONAL THEORY OF REGULAR EXPRESSIONS OVER A SINGLETON ALPHABET IS NOT FINITELY BASED
Authors: ACETO L FOKKINK W INGOLFSDOTTIR A
Citation: L. Aceto et al., ON A QUESTION OF SALOMAA,A. - THE EQUATIONAL THEORY OF REGULAR EXPRESSIONS OVER A SINGLETON ALPHABET IS NOT FINITELY BASED, Theoretical computer science, 209(1-2), 1998, pp. 163-178
A CHARACTERIZATION OF FINITARY BISIMULATION
Authors: ACETO L INGOLFSDOTTIR A
Citation: L. Aceto et A. Ingolfsdottir, A CHARACTERIZATION OF FINITARY BISIMULATION, Information processing letters, 64(3), 1997, pp. 127-134
CPO MODELS FOR COMPACT GSOS LANGUAGES
Authors: ACETO L INGOLFSDOTTIR A
Citation: L. Aceto et A. Ingolfsdottir, CPO MODELS FOR COMPACT GSOS LANGUAGES, Information and computation, 129(2), 1996, pp. 107-141
AXIOMATIZING PREFIX ITERATION WITH SILENT STEPS
Authors: ACETO L VANGLABBEEK R FOKKINK W INGOLFSDOTTIR A
Citation: L. Aceto et al., AXIOMATIZING PREFIX ITERATION WITH SILENT STEPS, Information and computation, 127(1), 1996, pp. 26-40
LATE AND EARLY SEMANTICS COINCIDE FOR TESTING
Authors: INGOLFSDOTTIR A
Citation: A. Ingolfsdottir, LATE AND EARLY SEMANTICS COINCIDE FOR TESTING, Theoretical computer science, 146(1-2), 1995, pp. 341-349
CHARACTERISTIC FORMULAS FOR PROCESSES WITH DIVERGENCE
Authors: STEFFEN B INGOLFSDOTTIR A
Citation: B. Steffen et A. Ingolfsdottir, CHARACTERISTIC FORMULAS FOR PROCESSES WITH DIVERGENCE, Information and computation, 110(1), 1994, pp. 149-163
A THEORY OF COMMUNICATING PROCESSES WITH VALUE PASSING
Authors: HENNESSY M INGOLFSDOTTIR A
Citation: M. Hennessy et A. Ingolfsdottir, A THEORY OF COMMUNICATING PROCESSES WITH VALUE PASSING, Information and computation, 107(2), 1993, pp. 202-236
Risultati: 1-7 |