no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata
|
Comin, Carlo |
|
2014 |
134 |
3-4 |
p. 335-353 |
article |
2 |
An Abstract Interpretation Framework for Type and Effect Systems
|
Galletta, Letterio |
|
2014 |
134 |
3-4 |
p. 355-393 |
article |
3 |
A Secure Non-monotonic Soft Concurrent Constraint Language
|
Bistarelli, Stefano |
|
2014 |
134 |
3-4 |
p. 261-285 |
article |
4 |
AUTHOR INDEX VOLUME 134
|
|
|
2014 |
134 |
3-4 |
p. 415-416 |
article |
5 |
Categories of Coalgebraic Games with Selective Sum
|
Honsell, Furio |
|
2014 |
134 |
3-4 |
p. 395-414 |
article |
6 |
Circular Causality in Event Structures
|
Bartoletti, Massimo |
|
2014 |
134 |
3-4 |
p. 219-259 |
article |
7 |
Epichristoffel Words and Minimization of Moore Automata
|
Castiglione, Giusi |
|
2014 |
134 |
3-4 |
p. 319-333 |
article |
8 |
From Models to Languages
|
Degano, Pierpaolo |
|
2014 |
134 |
3-4 |
p. i |
article |
9 |
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
|
Bruni, Roberto |
|
2014 |
134 |
3-4 |
p. 287-317 |
article |