Sciweavers

ITA
2002
13 years 4 months ago
Feedback, trace and fixed-point semantics
Piergiulio Katis, Nicoletta Sabadini, Robert F. C....
ITA
2002
13 years 4 months ago
Density of Critical Factorizations
Abstract. We investigate the density of critical factorizations of infinte sequences of words. The density of critical factorizations of a word is the ratio between the number of p...
Tero Harju, Dirk Nowotka
ITA
2002
13 years 4 months ago
On multiplicatively dependent linear numeration systems, and periodic points
Abstract. Two linear numeration systems, with characteristic polynomial equal to the minimal polynomial of two Pisot numbers and respectively, such that and are multiplicatively...
Christiane Frougny
ITA
2002
163views Communications» more  ITA 2002»
13 years 4 months ago
Permissive strategies: from parity games to safety games
It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the be...
Julien Bernet, David Janin, Igor Walukiewicz
ITA
2002
105views Communications» more  ITA 2002»
13 years 4 months ago
Polypodic codes
Word and tree codes are studied in a common framework, that of polypodes which are sets endowed with a substitution like operation. Many examples are given and basic properties are...
Symeon Bozapalidis, Olympia Louscou-Bozapalidou
ITA
2002
13 years 4 months ago
A Fully Equational Proof of Parikh's Theorem
Luca Aceto, Zoltán Ésik, Anna Ing&oa...