Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excel...
Salvato in:
| Autore principale: | Mycielski, Jan, 1932-2025 |
|---|---|
| Altri autori: | Rozenberg, Grzegorz, 1942- (Direttore editoriale), Salomaa, Arto, 1934-2025 (Direttore editoriale) |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
1261 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Melanges :, Ehrenfeucht |
| Edition sous un autre format: | • Structures in logic and computer science, a selection of essays in honor of A. Ehrenfeucht, Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, eds, 1997, Berlin, Springer, 1 vol. (X-370 p.), Lecture notes in computer science, 3-540-63246-8 • Structures in Logic and Computer Science, Texte imprimé, 9783662176306 |
Documenti analoghi
- Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings (Livre numérique)
-
Journal of logic and computation.
(Revue numérique)
Oxford University Press, 1990 - Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings (Livre numérique)
- Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers (Livre numérique)
- Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings (Livre numérique)

