Theoretical Computer Science
, Volume 98
Volume 98, Number 1, 1992
Selected Papers of the Second Workshop on Algebraic and Computer-Theoretic Aspects of Formal Power Series, Paris, April 1990
Christian Choffrut
: Rational Relations and Ratonal Series. 5-13
Juhani Karhumäki
: Multiplicities: A Deterministsic View of Nondeterminism. 15-25
Georg Karner
: On Transductions of Formal Power Series over Complete Semirings. 27-39
Stefano Varricchio
: Rational Series with Coefficients in a Commutative Ring. 41-50
Anders Björner
,
Christophe Reutenauer
: Rationality of the Möbius Function of Subword Order. 53-63
Marie-Pierre Delest
,
Jean-Marc Fedou
: Attibute Grammars are Useful for Combinatorics. 65-76
G. Cauchon
: Séries de Malcev-Neumann sur le groupe libre et questions de ratonalité. 79-97
François Dumas
: Skew Power Series Rings with General Commutation Formula. 99-114
Bernard Mourrain
: Computable Identities in the Algebra of Formal Matrices. 115-133
Sette Diop
: Differential-Algebraic Decision Methods and some Applications to System Theory. 137-161
Volume 98, Number 2, 1992
Jean-Paul Allouche
,
Jeffrey Shallit
: The Ring of k-Regular Sequences. 163-197
Sylviane R. Schwer
: The Context-Freeness of the Languages Associated with Vector Addition Systems is Decidable. 199-247
Lila Santean
,
Jarkko Kari
: The Impact of the Number of Cooperating Grammars on the Generative Power. 249-262
Hsu-Chun Yen
: A Multiparameter Analysis of Domino Tiling with an Application to Concurrent Systems. 263-287
Michael A. Palis
,
Sunil M. Shende
: Upper Bounds on Recognition of a Hierarchy of Non-Context-Free Languages. 289-319
Do Long Van
,
Phan Trung Huy
: Varieties of Finite Monoids and Buchi-McNaughton Theorem. 321-337
Marek Chrobak
,
Lawrence L. Larmore
: Harmonic is 3-Competitive for Two Servers. 339-346
Torben Amtoft
,
Jesper Larsson Träff
: Partial Memoization for Obtaining Linear Time Behavior of a 2DPDA. 347-356
Copyright ©
Fri Mar 12 17:33:07 2010 by
Michael Ley
(
ley@uni-trier.de
)