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

Automatabased Representations for Infinite Graphs
 Published online by Cambridge University Press: 15 April 2002, pp. 311330

 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

On graph products of automatic monoids
 Published online by Cambridge University Press: 15 August 2002, pp. 403417

 Article
 Export citation

An Exercise on Fibonacci Representations
 Published online by Cambridge University Press: 15 July 2002, pp. 491498

 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

PAC Learning under Helpful Distributions
 Published online by Cambridge University Press: 15 April 2002, pp. 129148

 Article
 Export citation

Towards parametrizing word equations
 Published online by Cambridge University Press: 15 April 2002, pp. 331350

 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
