Sommaire

Integrating observational and computational features in the specification of state-based, dynamical systems

Cîrstea, Corina

Access to full text
Full (PDF)
Full (DJVU)
p. 1-29

Numdam
A generalisation of entity and referential integrity in relational databases

Levene, Mark ; Loizou, George

Access to full text
Full (PDF)
Full (DJVU)
p. 113-127

Numdam
Les types de données syntaxiques du système ℱ

Farkh, Samir ; Nour, Karim

Access to full text
Full (PDF)
Full (DJVU)
p. 207-221

Numdam
Automata-based representations for infinite graphs

Torre, Salvatore La ; Napoli, Margherita

Access to full text
Full (PDF)
Full (DJVU)
p. 311-330

Numdam
On graph products of automatic monoids

Veloso Da Costa, A.

Access to full text
Full (PDF)
Full (DJVU)
p. 403-417

Numdam
An exercise on Fibonacci representations

Berstel, Jean

Access to full text
Full (PDF)
Full (DJVU)
p. 491-498

Numdam
Many-sorted coalgebraic modal logic : a model-theoretic study

Jacobs, Bart

Access to full text
Full (PDF)
Full (DJVU)
p. 31-59

Numdam
PAC learning under helpful distributions

Denis, François ; Gilleron, Rémi

Access to full text
Full (PDF)
Full (DJVU)
p. 129-148

Numdam
Les I-types du système ℱ

Nour, K.

Access to full text
Full (PDF)
Full (DJVU)
p. 223-237

Numdam
Towards parametrizing word equations

Abdulrab, H. ; Goralčík, P. ; Makanin, G. S.

Access to full text
Full (PDF)
Full (DJVU)
p. 331-350

Numdam
Commutative images of rational languages and the abelian kernel of a monoid

Delgado, Manuel

Access to full text
Full (PDF)
Full (DJVU)
p. 419-435

Numdam
Random generation for finitely ambiguous context-free languages

Bertoni, Alberto ; Goldwurm, Massimiliano ; Santini, Massimo

Access to full text
Full (PDF)
Full (DJVU)
p. 499-512

Numdam
A coalgebraic semantics of subtyping

Poll, Erik

Access to full text
Full (PDF)
Full (DJVU)
p. 61-81

Numdam
Restricted nondeterministic read-once branching programs and an exponential lower bound for integer multiplication

Bollig, Beate

Access to full text
Full (PDF)
Full (DJVU)
p. 149-162

Numdam
Number-conserving reversible cellular automata and their computation-universality

Morita, Kenichi ; Imai, Katsunobu

Access to full text
Full (PDF)
Full (DJVU)
p. 239-258

Numdam
Maximal circular codes versus maximal codes

Guesnet, Yannick

Access to full text
Full (PDF)
Full (DJVU)
p. 351-365

Numdam
A test-set for k-power-free binary morphisms

Wlazinski, F.

Access to full text
Full (PDF)
Full (DJVU)
p. 437-452

Numdam
On synchronized sequences and their separators

Carpi, Arturo ; Maggi, Cristiano

Access to full text
Full (PDF)
Full (DJVU)
p. 513-524

Numdam
Coalgebras for binary methods : properties of bisimulations and invariants

Tews, Hendrik

Access to full text
Full (PDF)
Full (DJVU)
p. 83-111

Numdam
On the stack-size of general tries

Bourdon, Jérémie ; Nebel, Markus ; Vallée, Brigitte

Access to full text
Full (PDF)
Full (DJVU)
p. 163-185

Numdam
Division in logspace-uniform NC 1

Chiu, Andrew ; Davida, George ; Litow, Bruce

Access to full text
Full (PDF)
Full (DJVU)
p. 259-275

Numdam
The helping hierarchy

Cintioli, Patrizio ; Silvestri, Riccardo

Access to full text
Full (PDF)
Full (DJVU)
p. 367-377

Numdam
Linear size test sets for certain commutative languages

Holub, Štěpán ; Kortelainen, Juha

Access to full text
Full (PDF)
Full (DJVU)
p. 453-475

Numdam
Periodicity and roots of transfinite strings

Carton, Olivier ; Choffrut, Christian

Access to full text
Full (PDF)
Full (DJVU)
p. 525-533

Numdam
On the number of iterations required by Von Neumann addition

Grübel, Rudolf ; Reimers, Anke

Access to full text
Full (PDF)
Full (DJVU)
p. 187-206

Numdam
Depth lower bounds for monotone semi-unbounded fan-in circuits

Johannsen, Jan

Access to full text
Full (PDF)
Full (DJVU)
p. 277-286

Numdam
On the expressive power of the shuffle operator matched with intersection by regular sets

Jȩdrzejowicz, Joanna ; Szepietowski, Andrzej

Access to full text
Full (PDF)
Full (DJVU)
p. 379-388

Numdam
Note on the succinctness of deterministic, nondeterministic, probabilistic and quantum finite automata

Mereghetti, Carlo ; Palano, Beatrice ; Pighizzini, Giovanni

Access to full text
Full (PDF)
Full (DJVU)
p. 477-490

Numdam
On conjugacy of languages

Cassaigne, Julien ; Karhumäki, Juhani ; Maňuch, Ján

Access to full text
Full (PDF)
Full (DJVU)
p. 535-550

Numdam
On the hardness of approximating some NP-optimization problems related to minimum linear ordering problem

Mishra, Sounaka ; Sikdar, Kripasindhu

Access to full text
Full (PDF)
Full (DJVU)
p. 287-309

Numdam
Atoms and partial orders of infinite languages

Kuich, Werner ; Sauer, N. W.

Access to full text
Full (PDF)
Full (DJVU)
p. 389-401

Numdam
A sharpening of the Parikh mapping

Mateescu, Alexandru ; Salomaa, Arto ; Salomaa, Kai ; Yu, Sheng

Access to full text
Full (PDF)
Full (DJVU)
p. 551-564

Numdam
Forbidden factors and fragment assembly

Mignosi, F. ; Restivo, A. ; Sciortino, M.

Access to full text
Full (PDF)
Full (DJVU)
p. 565-577

Numdam
Free burnside semigroups

Do Lago, Alair Pereira ; Simon, Imre

Access to full text
Full (PDF)
Full (DJVU)
p. 579-595

Numdam
A conjecture on the concatenation product

Pin, Jean-Eric ; Weil, Pascal

Access to full text
Full (PDF)
Full (DJVU)
p. 597-618

Numdam