An algebraic characterization of the set of succession rules (Englisch)
- Neue Suche nach: Ferrari, Luca
- Neue Suche nach: Ferrari, Luca
- Neue Suche nach: Pergola, Elisa
- Neue Suche nach: Pinzani, Renzo
- Neue Suche nach: Rinaldi, Simone
In:
Theoretical computer science
;
281
, 1
; 351-368
;
2002
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:An algebraic characterization of the set of succession rules
-
Beteiligte:
-
Erschienen in:Theoretical computer science ; 281, 1 ; 351-368
-
Verlag:
- Neue Suche nach: Elsevier
-
Erscheinungsort:Amsterdam [u.a.]
-
Erscheinungsdatum:2002
-
ISSN:
-
ZDBID:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.10 / 54.10
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 535/3155
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 281, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
PrefaceAusiello, G. et al. | 2002
- 1
-
Editorial(s)Ausiello, G. et al. | 2002
- 3
-
Une breve biographie scientifique de Maurice NivatCurien, P. L. et al. | 2002
- 3
-
Une brève biographie scientifique de Maurice NivatCurien, Pierre-Louis et al. | 2002
- 25
-
ICALP, EATCS and Maurice NivatRozenberg, Grzegorz et al. | 2002
- 31
-
Nivat's processes and their synchronizationArnold, André et al. | 2002
- 37
-
Basic analytic combinatorics of directed lattice pathsBanderier, Cyril et al. | 2002
- 81
-
Groups and tilingsBeauquier, Danièle et al. | 2002
- 99
-
Coding rotations on intervalsBerstel, Jean et al. | 2002
- 109
-
Noninterference for concurrent programs and thread systemsBoudol, Gérard et al. | 2002
- 131
-
Dynamic connectors for concurrencyBruni, Roberto et al. | 2002
- 177
-
The evaluation of first-order substitution is monadic second-order compatibleCourcelle, Bruno et al. | 2002
- 207
-
Tilings as a programming exerciseCousineau, Guy et al. | 2002
- 219
-
Reduction de la non-linearite des morphismes d'arbres Recognizable tree-languages and non-linear morphismsDauchet, M. / Tison, S. / Tommasi, M. et al. | 2002
- 219
-
Réduction de la non-linéarité des morphismes d'arbres Recognizable tree-languages and non-linear morphismsDauchet, Max et al. | 2002
- 235
-
Reconstructing permutation matrices from diagonal sumsDel Lungo, Alberto et al. | 2002
- 251
-
Reconnaissance parallele des langages rationnels sur automates cellulaires plansDelorme, M. / Mazoyer, J. et al. | 2002
- 251
-
Reconnaissance parallèle des langages rationnels sur automates cellulaires plansDelorme, Marianne et al. | 2002
- 291
-
Counting H-colorings of partial k-treesDiaz, Josep et al. | 2002
- 311
-
De la logique aux pavagesDurand, Bruno et al. | 2002
- 325
-
Gene assembly through cyclic graph decompositionEhrenfeucht, A. et al. | 2002
- 351
-
An algebraic characterization of the set of succession rulesFerrari, Luca et al. | 2002
- 369
-
A truly concurrent semantics for a process algebra using resource pomsetsGastin, Paul et al. | 2002
- 423
-
Modelization of deterministic rational relationsGrigorieff, Serge et al. | 2002
- 455
-
On the algorithmic inversion of the discrete Radon transformGritzmann, Peter et al. | 2002
- 471
-
A uniform semantic proof for cut-elimination and completeness of various first and higher order logicsOkada, Mitsuhiro et al. | 2002
- 499
-
A unified language processing methodologyRus, Teodor et al. | 2002
- 537
-
Uni-transitional Watson-Crick D0L systemsSalomaa, Arto et al. | 2002
- 555
-
L(A)=L(B)? A simplified decidability proofSénizergues, Géraud et al. | 2002
- 609
-
S@4ri Yantra GeometryHuet, Gérard et al. | 2002
- 609
-
Sri Yantra GeometryHuet, G. et al. | 2002
- 629
-
Author index| 2002