Sommaire

Detecting the morphic images of a word : improving the general algorithm

Néraud, Jean

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

Numdam
Introduction à l'algorithmique des objets partagés

Charron-Bost, Bernadette ; Cori, Robert ; Petit, Antoine

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

Numdam
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini

Hibti, M. ; Legeard, B. ; Lombardi, H.

Access to full text
Full (PDF)
Full (DJVU)
p. 205-236

Numdam
Calculs approchés de la borne inférieure de valeurs réparties

Charron-Bost, Bernadette ; Tel, Gérard

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

Numdam
Négation constructive et axiomatique interne

Blanc, G. ; Liogier, K.

Access to full text
Full (PDF)
Full (DJVU)
p. 411-428

Numdam
On generating all solutions of generalized satisfiability problems

Creignou, N. ; Hebrard, J.-J.

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

Numdam
Fair expressions and regular languages over lists

Breveglieri, L.

Access to full text
Full (PDF)
Full (DJVU)
p. 15-66

Numdam
A syntactic characterization of bounded-rank decision trees in terms of decision lists

Galesi, Nicola

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

Numdam
On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups

Blanchet-Sadri, F.

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

Numdam
On the power of parallel communicating grammar systems with right-linear components

Dumitrescu, S. ; Păun, G.

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

Numdam
On the difficulty of finding walks of length k

Basagni, S. ; Bruschi, D. ; Ravasio, F.

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

Numdam
Résultats de complétude pour des classes de types du système 𝒜ℱ2

Farkh, Samir ; Nour, Karim

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

Numdam
Undecidable event detection problems for ODEs of dimension one and two

Ruohonen, Keijo

Access to full text
Full (PDF)
Full (DJVU)
p. 67-79

Numdam
The laterality problem for non-erasing Turing machines on {0,1} is completely solved

Margenstern, Maurice

Access to full text
Full (PDF)
Full (DJVU)
p. 159-204

Numdam
Skip trees, an alternative data structure to skip lists in a concurrent approach

Messeguer, Xavier

Access to full text
Full (PDF)
Full (DJVU)
p. 251-269

Numdam
A hierarchy of cyclic languages

Carton, O.

Access to full text
Full (PDF)
Full (DJVU)
p. 355-369

Numdam
Accurate computation of the relative entropy between stochastic regular grammars

Carrasco, R. C.

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

Numdam
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés

Nour, Karim

Access to full text
Full (PDF)
Full (DJVU)
p. 539-558

Numdam
On lindenmayerian rational subsets of monoids

Honkala, J.

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

Numdam
Decimations and sturmian words

Justin, Jacques ; Pirillo, Giuseppe

Access to full text
Full (PDF)
Full (DJVU)
p. 271-290

Numdam
A selection property of the boolean μ-calculus and some of its applications

Arnold, André

Access to full text
Full (PDF)
Full (DJVU)
p. 371-384

Numdam
Languages obtained from infinite words

Harju, T. ; Ilie, L.

Access to full text
Full (PDF)
Full (DJVU)
p. 445-455

Numdam
Polynomial size test sets for commutative languages

Hakala, Ismo ; Kortelainen, Juha

Access to full text
Full (PDF)
Full (DJVU)
p. 291-304

Numdam
Énumération des cartes pointées sue la bouteille de Klein

Arquès, Didier ; Béraud, Jean-François

Access to full text
Full (PDF)
Full (DJVU)
p. 385-409

Numdam
The pseudovariety J is hyperdecidable

Almeida, J. ; Zeitoun, M.

Access to full text
Full (PDF)
Full (DJVU)
p. 457-482

Numdam
An analysis of Lambek's production machines

Pucella, R. R.

Access to full text
Full (PDF)
Full (DJVU)
p. 483-497

Numdam