Accueil
 
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Mots-clés
  • Plein texte
  • Précédent
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Tome 31 (1997)
  • no. 6
  • Suivant

Sommaire

On generating all solutions of generalized satisfiability problems
Creignou, N. ;  Hebrard, J.-J.
p. 499-511
Résultats de complétude pour des classes de types du système 𝒜ℱ2
Farkh, Samir ;  Nour, Karim
p. 513-537
Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés
Nour, Karim
p. 539-558
  • À propos
  • Aide
  • Mentions légales
  • Contact
 

Développé par

 

Soutenu par

 
 

Partenaire de