Geodesic

Sommaire du Fascicule no. 1

Integrating observational and computational features in the specification of state-based, dynamical systems
p. 1-29
Many-sorted coalgebraic modal logic : a model-theoretic study
p. 31-59
A coalgebraic semantics of subtyping
p. 61-81
Coalgebras for binary methods : properties of bisimulations and invariants
p. 83-111

Sommaire du Fascicule no. 2

A generalisation of entity and referential integrity in relational databases
p. 113-127
PAC learning under helpful distributions
p. 129-148
Restricted nondeterministic read-once branching programs and an exponential lower bound for integer multiplication
p. 149-162
On the stack-size of general tries
p. 163-185
On the number of iterations required by Von Neumann addition
p. 187-206

Sommaire du Fascicule no. 3

Les types de données syntaxiques du système ℱ
p. 207-221
Les I-types du système ℱ
p. 223-237
Number-conserving reversible cellular automata and their computation-universality
p. 239-258
Division in logspace-uniform NC 1
p. 259-275
Depth lower bounds for monotone semi-unbounded fan-in circuits
p. 277-286
On the hardness of approximating some NP-optimization problems related to minimum linear ordering problem
p. 287-309

Sommaire du Fascicule no. 4

Automata-based representations for infinite graphs
p. 311-330
Towards parametrizing word equations
p. 331-350
Maximal circular codes versus maximal codes
p. 351-365
The helping hierarchy
p. 367-377
On the expressive power of the shuffle operator matched with intersection by regular sets
p. 379-388
Atoms and partial orders of infinite languages
p. 389-401

Sommaire du Fascicule no. 5

On graph products of automatic monoids
p. 403-417
Commutative images of rational languages and the abelian kernel of a monoid
p. 419-435
A test-set for k-power-free binary morphisms
p. 437-452
Linear size test sets for certain commutative languages
p. 453-475
Note on the succinctness of deterministic, nondeterministic, probabilistic and quantum finite automata
p. 477-490

Sommaire du Fascicule no. 6

An exercise on Fibonacci representations
p. 491-498
Random generation for finitely ambiguous context-free languages
p. 499-512
On synchronized sequences and their separators
p. 513-524
Periodicity and roots of transfinite strings
p. 525-533
On conjugacy of languages
p. 535-550
A sharpening of the Parikh mapping
p. 551-564
Forbidden factors and fragment assembly
p. 565-577
Free burnside semigroups
p. 579-595
A conjecture on the concatenation product
p. 597-618