Home
 
  • Journals
  • Seminars
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Books
  • Lecture notes
  • Theses
  • Authors
  • All
  • Author
  • Title
  • References
  • Keywords
  • Full text
NOT
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Volume 31 (1997)
  • no. 6

Table of contents

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
  • About
  • Help
  • Legal notice
  • Contact
 

Published by

 

Supported by

 
 

Partner of