STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical C...

Description complète

Détails bibliographiques

Collectivité auteur:	Symposium on Theoretical Aspects of Computer Science :Würzburg, Allemagne
Autres auteurs:	Enjalbert, Patrice (Directeur de la publication), Wagner, Klaus W. (Directeur de la publication), Finkel, Alain, 1958- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 665
Sujets:	Informatique Algorithmes Automates mathématiques, Théorie des Complexité de calcul (informatique) Logique symbolique et mathématique Structure logique Unités arithmétiques et logiques Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, proceedings, P. Enjalbert, A. Finkel, K.W. Wagner (eds.), 1993, Berlin, Springer, 1 vol. (XIV- 723 p.), Lecture notes in computer science, 0-387-56503-5 • STACS 93, Texte imprimé, 9783662200612