Systems of reductions

Systems of reductions

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Benninghofen Benjamin (Auteur), Kemmerich Susanne (Auteur), Richter Michael M. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter
Publié : Berlin, Heidelberg, New York : Springer , C. 1987
Description matérielle : 1 vol. (X-263 p.)
Collection : Lecture notes in computer science ; 277
Sujets :
Théorie des ensembles
Théorie des automates mathématiques
Monoïdes
LEADER 01885cam a2200589 4500
001 PPN020498799
003 http://www.sudoc.fr/020498799
005 20231113055500.0
010 |a 3-540-18598-4  |b Berlin  |b br. 
010 |a 0-387-18598-4  |b U.S. : pbk.  |b br. 
020 |a US  |b 8728851 
035 |a (OCoLC)468706593 
035 |a ocm16982243 
100 |a 19890427h19871987k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a DE 
105 |a a a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Systems of reductions  |f B. Benninghofen, S. Kemmerich, M.M. Richter 
214 0 |a Berlin  |a Heidelberg  |a New York  |c Springer 
214 4 |d C. 1987 
215 |a 1 vol. (X-263 p.)  |d 24 cm 
225 2 |a Lecture notes in computer science  |v 277 
320 |a Bibliogr. p. [256]-263. Index 
410 | |0 001610368  |t Lecture notes in computer science  |x 0302-9743  |v 277 
606 |3 PPN027355330  |a Théorie des ensembles  |2 rameau 
606 |3 PPN02733015X  |a Théorie des automates mathématiques  |2 rameau 
606 |3 PPN027239721  |a Monoïdes  |2 rameau 
676 |a 511.3  |v 19 
680 |a QA267  |b .B46 1987 
686 |a F.2.2  |2 acm 
686 |a I.2.3  |2 acm 
686 |a F.4.1  |2 acm 
686 |a F.4.2  |2 acm 
686 |a 68Q65  |c 2020  |2 msc 
686 |a 08A50  |c 2020  |2 msc 
686 |a 20F10  |c 2020  |2 msc 
700 1 |3 PPN251310302  |a Benninghofen  |b Benjamin  |f 1958-....  |4 070 
701 1 |3 PPN251310280  |a Kemmerich  |b Susanne  |f 1953-....  |4 070 
701 1 |3 PPN081785992  |a Richter  |b Michael M.  |f 1938-....  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20231110  |g AFNOR 
801 0 |a FR  |b UMS MI2S  |c 20080716 
979 |a CCFA 
930 |5 441092208:801370396  |b 441092208  |j u 
998 |a 951105