


default search action
Theoretical Computer Science, Volume 98
Volume 98, Number 1, 1992
- 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 O. 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.