Research Article
Les types de données syntaxiques du système ${\cal F}$

 Published online by Cambridge University Press:
 15 April 2002, pp. 207221

 Article
 Export citation
Integrating Observational and Computational Features in the Specification of StateBased, Dynamical Systems

 Published online by Cambridge University Press:
 15 April 2002, pp. 129

 Article
 Export citation
A Generalisation of Entity and Referential Integrity in Relational Databases

 Published online by Cambridge University Press:
 15 April 2002, pp. 113127

 Article
 Export citation
Automatabased Representations for Infinite Graphs

 Published online by Cambridge University Press:
 15 April 2002, pp. 311330

 Article
 Export citation
An Exercise on Fibonacci Representations

 Published online by Cambridge University Press:
 15 July 2002, pp. 491498

 Article
 Export citation
On graph products of automatic monoids

 Published online by Cambridge University Press:
 15 August 2002, pp. 403417

 Article
 Export citation
Random Generation for Finitely Ambiguous Contextfree Languages

 Published online by Cambridge University Press:
 15 July 2002, pp. 499512

 Article
 Export citation
Les Itypes du système ${\cal F}$

 Published online by Cambridge University Press:
 15 April 2002, pp. 223237

 Article
 Export citation
Commutative images of rational languages and the Abelian kernel of a monoid

 Published online by Cambridge University Press:
 15 August 2002, pp. 419435

 Article
 Export citation
ManySorted Coalgebraic Modal Logic: a Modeltheoretic Study

 Published online by Cambridge University Press:
 15 April 2002, pp. 3159

 Article
 Export citation
Towards parametrizing word equations

 Published online by Cambridge University Press:
 15 April 2002, pp. 331350

 Article
 Export citation
PAC Learning under Helpful Distributions

 Published online by Cambridge University Press:
 15 April 2002, pp. 129148

 Article
 Export citation
Restricted Nondeterministic ReadOnce Branching Programs and an Exponential Lower Bound for Integer Multiplication

 Published online by Cambridge University Press:
 15 April 2002, pp. 149162

 Article
 Export citation
On synchronized sequences and their separators

 Published online by Cambridge University Press:
 15 July 2002, pp. 513524

 Article
 Export citation
NumberConserving Reversible Cellular Automata and Their ComputationUniversality

 Published online by Cambridge University Press:
 15 April 2002, pp. 239258

 Article
 Export citation
A testset for kpowerfree binary morphisms

 Published online by Cambridge University Press:
 15 August 2002, pp. 437452

 Article
 Export citation
A Coalgebraic Semantics of Subtyping

 Published online by Cambridge University Press:
 15 April 2002, pp. 6181

 Article
 Export citation
Maximal circular codes versus maximal codes

 Published online by Cambridge University Press:
 15 April 2002, pp. 351365

 Article
 Export citation
On the StackSize of General Tries

 Published online by Cambridge University Press:
 15 April 2002, pp. 163185

 Article
 Export citation
Division in logspaceuniform NC1

 Published online by Cambridge University Press:
 15 April 2002, pp. 259275

 Article
 Export citation