Index

Les cibles de publication
Les autres sources d'information

Les cibles de publication

Chaque cible est précédée d'une indication du type [n], où n est un nombre compris entre 1 et 5, proportionnel à la cote scientifique de la publication. Cette indication est purement subjective, mais reflète tout de même un certain consensus des communautés concernées.

Revues internationales

[5] TCS : Theoretical Computing Science.
[?] FAC : Formal Aspects of Computing
[?] Journal of Symbolic Computation.

Conférences internationales

[?] ICALP : International Conference on Automata, Languages and Programming (ICALP'97)

Journaux électroniques

Chicago Journal of Theoretical Computer Science.
The Electronic Journal of Combinatorics.

Les autres sources d'information

le groupe CCL (Construction of Computational Logics) - projet ESPRIT.
EATCS : European Association for Theoretical Computer Science
SIGACT (Special Interest Group on Algorithms and Computational Theory).

Philippe REITZ (reitz@lirmm.fr)