Semigroups, algorithms, automata, and languages :: Coimbra, Portugal, May-July 2001 /
The thematic term on "Semigroups, Algorithms, Automata and Languages" organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms, automata and languages. These areas were s...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
River Edge, NJ :
World Scientific,
©2002.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | The thematic term on "Semigroups, Algorithms, Automata and Languages" organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms, automata and languages. These areas were selected considering their huge recent developments, their potential applications, and the motivation from other fields of mathematics and computer science. This proceedings volume is a collection of advanced courses and original contributions on semigroups and their connections with logic, automata, languages, group theory, discrete dynamics, topology and complexity. A selection of open problems discussed during the thematic term is also included. |
| Beschreibung: | 1 online resource (ix, 515 pages) : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9789812776884 9812776885 1281929395 9781281929396 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn666959699 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100929s2002 njua ob 100 0 eng d | ||
| 010 | |z 2003268598 | ||
| 040 | |a IDEBK |b eng |e pn |c IDEBK |d OCLCQ |d N$T |d E7B |d OCLCF |d OCLCO |d YDXCP |d STF |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d AGLDB |d OCLCQ |d VTS |d REC |d M8D |d OCLCO |d UKAHL |d AJS |d OCLCO |d OCLCQ |d INARC |d OCLCO |d OCLCQ |d OCLCL | ||
| 019 | |a 815751525 |a 1359391719 | ||
| 020 | |a 9789812776884 |q (electronic bk.) | ||
| 020 | |a 9812776885 |q (electronic bk.) | ||
| 020 | |a 1281929395 |q (electronic bk.) | ||
| 020 | |a 9781281929396 |q (electronic bk.) | ||
| 020 | |z 981238099X (acid-free paper) | ||
| 035 | |a (OCoLC)666959699 |z (OCoLC)815751525 |z (OCoLC)1359391719 | ||
| 050 | 4 | |a QA182 |b .S4425 2002 | |
| 072 | 7 | |a PBW |2 bicssc | |
| 072 | 7 | |a MAT |x 014000 |2 bisacsh | |
| 082 | 7 | |a 512/.2 |2 22 | |
| 084 | |a 54.10 |2 bcl | ||
| 084 | |a 54.51 |2 bcl | ||
| 084 | |a SK 260 |2 rvk | ||
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Semigroups, algorithms, automata, and languages : |b Coimbra, Portugal, May-July 2001 / |c editors, Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva. |
| 260 | |a River Edge, NJ : |b World Scientific, |c ©2002. | ||
| 300 | |a 1 online resource (ix, 515 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 520 | |a The thematic term on "Semigroups, Algorithms, Automata and Languages" organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms, automata and languages. These areas were selected considering their huge recent developments, their potential applications, and the motivation from other fields of mathematics and computer science. This proceedings volume is a collection of advanced courses and original contributions on semigroups and their connections with logic, automata, languages, group theory, discrete dynamics, topology and complexity. A selection of open problems discussed during the thematic term is also included. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Advanced courses. 1. Finite semigroups: an introduction to a unified theory of pseudovarieties / Jorge Almeida -- 2. On existence varieties of regular semigroups / Karl Auinger -- 3. Varieties of languages / Mário J.J. Branco -- 4. A short introduction to automatic group theory / Christian Choffrut -- 5. An introduction to covers for semigroups / John Fountain -- 6. E*-unitary inverse semigroups / Mark V. Lawson -- 7. Some results on semigroup-graded rings / W.D. Munn -- 8. Profinite groups and applications to finite semigroups / Luis Ribes -- Research articles. 1. Dynamics of finite semigroups / Jorge Almeida -- 2. Group presentations for a class of radical rings of matrices / Noelle Antony, Clare Coleman and David Easdown -- 3. Finite semigroups imposing tractable constraints / Andrei Bulatov, Peter Jeavons, Mikhail Volkov -- 4. On the efficiency and deficiency of Rees matrix semigroups / C.M. Campbell, J.D. Mitchell and N. Ruškuc -- 5. Some pseudovariety joins involving groups and locally trivial semigroups / José Carlos Costa -- 6. Partial action of groups on relational structures: a connection between model theory and profinite topology / Thierry Coulbois -- 7. Presentations for some monoids of partial transformations on a finite chain: a survey / Vítor H. Fernandes -- 8. Some relatives of automatic and hyperbolic groups / Michael Hoffmann [and others] -- 9. Operators on classes of regular languages / Libor Polák -- 10. Automata in autonomous varieties / Olga Sokratova -- 11. A sampler of a topological approach to inverse semigroups / Benjamin Steinberg -- 12. Finite semigroups and the logical description of regular languages / Howard Straubing -- 13. Diamonds are forever: the variety DA / Pascal Tesson and Denis Thérien -- 14. Decidability problems in finite semigroups / Peter G. Trotter. | |
| 650 | 0 | |a Semigroups |v Congresses. | |
| 650 | 0 | |a Algorithms |v Congresses. | |
| 650 | 0 | |a Machine theory |v Congresses. | |
| 650 | 0 | |a Formal languages |v Congresses. | |
| 650 | 6 | |a Semi-groupes |v Congrès. | |
| 650 | 6 | |a Algorithmes |v Congrès. | |
| 650 | 6 | |a Théorie des automates |v Congrès. | |
| 650 | 6 | |a Langages formels |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x Group Theory. |2 bisacsh | |
| 650 | 7 | |a Algorithms |2 fast | |
| 650 | 7 | |a Formal languages |2 fast | |
| 650 | 7 | |a Machine theory |2 fast | |
| 650 | 7 | |a Semigroups |2 fast | |
| 650 | 7 | |a Automatentheorie |2 gnd |0 http://d-nb.info/gnd/4003953-5 | |
| 650 | 7 | |a Halbgruppentheorie |2 gnd |0 http://d-nb.info/gnd/4288418-4 | |
| 650 | 1 | 7 | |a Abstracte automaten. |2 gtt |
| 650 | 1 | 7 | |a Programmeertalen. |2 gtt |
| 650 | 1 | 7 | |a Semigroepen. |2 gtt |
| 650 | 1 | 7 | |a Algoritmen. |2 gtt |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Gomes, Gracinda M. S. | |
| 700 | 1 | |a Pin, Jean Eric. | |
| 700 | 1 | |a Silva, Pedro V. | |
| 758 | |i has work: |a Semigroups, algorithms, automata and languages (Text) |1 https://id.oclc.org/worldcat/entity/E39PD3fmMVBkkwxHPRD7cx8MxC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Semigroups, algorithms, automata, and languages. |d River Edge, NJ : World Scientific, ©2002 |z 1281929395 |w (DLC) 2003268598 |w (OCoLC)51620907 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=514301 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24684685 | ||
| 938 | |a ebrary |b EBRY |n ebr10720392 | ||
| 938 | |a EBSCOhost |b EBSC |n 514301 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 192939 | ||
| 938 | |a YBP Library Services |b YANK |n 9966175 | ||
| 938 | |a Internet Archive |b INAR |n semigroupsalgori0000unse | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn666959699 |
|---|---|
| _version_ | 1816881740709363712 |
| adam_text | |
| any_adam_object | |
| author2 | Gomes, Gracinda M. S. Pin, Jean Eric Silva, Pedro V. |
| author2_role | |
| author2_variant | g m s g gms gmsg j e p je jep p v s pv pvs |
| author_facet | Gomes, Gracinda M. S. Pin, Jean Eric Silva, Pedro V. |
| author_sort | Gomes, Gracinda M. S. |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA182 |
| callnumber-raw | QA182 .S4425 2002 |
| callnumber-search | QA182 .S4425 2002 |
| callnumber-sort | QA 3182 S4425 42002 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 260 |
| collection | ZDB-4-EBA |
| contents | Advanced courses. 1. Finite semigroups: an introduction to a unified theory of pseudovarieties / Jorge Almeida -- 2. On existence varieties of regular semigroups / Karl Auinger -- 3. Varieties of languages / Mário J.J. Branco -- 4. A short introduction to automatic group theory / Christian Choffrut -- 5. An introduction to covers for semigroups / John Fountain -- 6. E*-unitary inverse semigroups / Mark V. Lawson -- 7. Some results on semigroup-graded rings / W.D. Munn -- 8. Profinite groups and applications to finite semigroups / Luis Ribes -- Research articles. 1. Dynamics of finite semigroups / Jorge Almeida -- 2. Group presentations for a class of radical rings of matrices / Noelle Antony, Clare Coleman and David Easdown -- 3. Finite semigroups imposing tractable constraints / Andrei Bulatov, Peter Jeavons, Mikhail Volkov -- 4. On the efficiency and deficiency of Rees matrix semigroups / C.M. Campbell, J.D. Mitchell and N. Ruškuc -- 5. Some pseudovariety joins involving groups and locally trivial semigroups / José Carlos Costa -- 6. Partial action of groups on relational structures: a connection between model theory and profinite topology / Thierry Coulbois -- 7. Presentations for some monoids of partial transformations on a finite chain: a survey / Vítor H. Fernandes -- 8. Some relatives of automatic and hyperbolic groups / Michael Hoffmann [and others] -- 9. Operators on classes of regular languages / Libor Polák -- 10. Automata in autonomous varieties / Olga Sokratova -- 11. A sampler of a topological approach to inverse semigroups / Benjamin Steinberg -- 12. Finite semigroups and the logical description of regular languages / Howard Straubing -- 13. Diamonds are forever: the variety DA / Pascal Tesson and Denis Thérien -- 14. Decidability problems in finite semigroups / Peter G. Trotter. |
| ctrlnum | (OCoLC)666959699 |
| dewey-full | 512/.2 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512/.2 |
| dewey-search | 512/.2 |
| dewey-sort | 3512 12 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05952cam a2200817 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn666959699</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">100929s2002 njua ob 100 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2003268598</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">IDEBK</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">YDXCP</subfield><subfield code="d">STF</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">REC</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UKAHL</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">815751525</subfield><subfield code="a">1359391719</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812776884</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812776885</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281929395</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281929396</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">981238099X (acid-free paper)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)666959699</subfield><subfield code="z">(OCoLC)815751525</subfield><subfield code="z">(OCoLC)1359391719</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA182</subfield><subfield code="b">.S4425 2002</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PBW</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">512/.2</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.51</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 260</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Semigroups, algorithms, automata, and languages :</subfield><subfield code="b">Coimbra, Portugal, May-July 2001 /</subfield><subfield code="c">editors, Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">River Edge, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2002.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 515 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The thematic term on "Semigroups, Algorithms, Automata and Languages" organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms, automata and languages. These areas were selected considering their huge recent developments, their potential applications, and the motivation from other fields of mathematics and computer science. This proceedings volume is a collection of advanced courses and original contributions on semigroups and their connections with logic, automata, languages, group theory, discrete dynamics, topology and complexity. A selection of open problems discussed during the thematic term is also included.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Advanced courses. 1. Finite semigroups: an introduction to a unified theory of pseudovarieties / Jorge Almeida -- 2. On existence varieties of regular semigroups / Karl Auinger -- 3. Varieties of languages / Mário J.J. Branco -- 4. A short introduction to automatic group theory / Christian Choffrut -- 5. An introduction to covers for semigroups / John Fountain -- 6. E*-unitary inverse semigroups / Mark V. Lawson -- 7. Some results on semigroup-graded rings / W.D. Munn -- 8. Profinite groups and applications to finite semigroups / Luis Ribes -- Research articles. 1. Dynamics of finite semigroups / Jorge Almeida -- 2. Group presentations for a class of radical rings of matrices / Noelle Antony, Clare Coleman and David Easdown -- 3. Finite semigroups imposing tractable constraints / Andrei Bulatov, Peter Jeavons, Mikhail Volkov -- 4. On the efficiency and deficiency of Rees matrix semigroups / C.M. Campbell, J.D. Mitchell and N. Ruškuc -- 5. Some pseudovariety joins involving groups and locally trivial semigroups / José Carlos Costa -- 6. Partial action of groups on relational structures: a connection between model theory and profinite topology / Thierry Coulbois -- 7. Presentations for some monoids of partial transformations on a finite chain: a survey / Vítor H. Fernandes -- 8. Some relatives of automatic and hyperbolic groups / Michael Hoffmann [and others] -- 9. Operators on classes of regular languages / Libor Polák -- 10. Automata in autonomous varieties / Olga Sokratova -- 11. A sampler of a topological approach to inverse semigroups / Benjamin Steinberg -- 12. Finite semigroups and the logical description of regular languages / Howard Straubing -- 13. Diamonds are forever: the variety DA / Pascal Tesson and Denis Thérien -- 14. Decidability problems in finite semigroups / Peter G. Trotter.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Semigroups</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Algorithms</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal languages</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Semi-groupes</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Algorithmes</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des automates</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Langages formels</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Group Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algorithms</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formal languages</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Machine theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semigroups</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4003953-5</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Halbgruppentheorie</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4288418-4</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Abstracte automaten.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Programmeertalen.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Semigroepen.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Algoritmen.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gomes, Gracinda M. S.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pin, Jean Eric.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Silva, Pedro V.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Semigroups, algorithms, automata and languages (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PD3fmMVBkkwxHPRD7cx8MxC</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Semigroups, algorithms, automata, and languages.</subfield><subfield code="d">River Edge, NJ : World Scientific, ©2002</subfield><subfield code="z">1281929395</subfield><subfield code="w">(DLC) 2003268598</subfield><subfield code="w">(OCoLC)51620907</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=514301</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24684685</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10720392</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">514301</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">192939</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">9966175</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">semigroupsalgori0000unse</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn666959699 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:31Z |
| institution | BVB |
| isbn | 9789812776884 9812776885 1281929395 9781281929396 |
| language | English |
| oclc_num | 666959699 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (ix, 515 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | World Scientific, |
| record_format | marc |
| spelling | Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / editors, Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva. River Edge, NJ : World Scientific, ©2002. 1 online resource (ix, 515 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references. The thematic term on "Semigroups, Algorithms, Automata and Languages" organized at the International Centre of Mathematics (Coimbra, Portugal) in May-July 2001 was the gathering point for researchers working in the field of semigroups, algorithms, automata and languages. These areas were selected considering their huge recent developments, their potential applications, and the motivation from other fields of mathematics and computer science. This proceedings volume is a collection of advanced courses and original contributions on semigroups and their connections with logic, automata, languages, group theory, discrete dynamics, topology and complexity. A selection of open problems discussed during the thematic term is also included. Print version record. Advanced courses. 1. Finite semigroups: an introduction to a unified theory of pseudovarieties / Jorge Almeida -- 2. On existence varieties of regular semigroups / Karl Auinger -- 3. Varieties of languages / Mário J.J. Branco -- 4. A short introduction to automatic group theory / Christian Choffrut -- 5. An introduction to covers for semigroups / John Fountain -- 6. E*-unitary inverse semigroups / Mark V. Lawson -- 7. Some results on semigroup-graded rings / W.D. Munn -- 8. Profinite groups and applications to finite semigroups / Luis Ribes -- Research articles. 1. Dynamics of finite semigroups / Jorge Almeida -- 2. Group presentations for a class of radical rings of matrices / Noelle Antony, Clare Coleman and David Easdown -- 3. Finite semigroups imposing tractable constraints / Andrei Bulatov, Peter Jeavons, Mikhail Volkov -- 4. On the efficiency and deficiency of Rees matrix semigroups / C.M. Campbell, J.D. Mitchell and N. Ruškuc -- 5. Some pseudovariety joins involving groups and locally trivial semigroups / José Carlos Costa -- 6. Partial action of groups on relational structures: a connection between model theory and profinite topology / Thierry Coulbois -- 7. Presentations for some monoids of partial transformations on a finite chain: a survey / Vítor H. Fernandes -- 8. Some relatives of automatic and hyperbolic groups / Michael Hoffmann [and others] -- 9. Operators on classes of regular languages / Libor Polák -- 10. Automata in autonomous varieties / Olga Sokratova -- 11. A sampler of a topological approach to inverse semigroups / Benjamin Steinberg -- 12. Finite semigroups and the logical description of regular languages / Howard Straubing -- 13. Diamonds are forever: the variety DA / Pascal Tesson and Denis Thérien -- 14. Decidability problems in finite semigroups / Peter G. Trotter. Semigroups Congresses. Algorithms Congresses. Machine theory Congresses. Formal languages Congresses. Semi-groupes Congrès. Algorithmes Congrès. Théorie des automates Congrès. Langages formels Congrès. MATHEMATICS Group Theory. bisacsh Algorithms fast Formal languages fast Machine theory fast Semigroups fast Automatentheorie gnd http://d-nb.info/gnd/4003953-5 Halbgruppentheorie gnd http://d-nb.info/gnd/4288418-4 Abstracte automaten. gtt Programmeertalen. gtt Semigroepen. gtt Algoritmen. gtt Conference papers and proceedings fast Gomes, Gracinda M. S. Pin, Jean Eric. Silva, Pedro V. has work: Semigroups, algorithms, automata and languages (Text) https://id.oclc.org/worldcat/entity/E39PD3fmMVBkkwxHPRD7cx8MxC https://id.oclc.org/worldcat/ontology/hasWork Print version: Semigroups, algorithms, automata, and languages. River Edge, NJ : World Scientific, ©2002 1281929395 (DLC) 2003268598 (OCoLC)51620907 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=514301 Volltext |
| spellingShingle | Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / Advanced courses. 1. Finite semigroups: an introduction to a unified theory of pseudovarieties / Jorge Almeida -- 2. On existence varieties of regular semigroups / Karl Auinger -- 3. Varieties of languages / Mário J.J. Branco -- 4. A short introduction to automatic group theory / Christian Choffrut -- 5. An introduction to covers for semigroups / John Fountain -- 6. E*-unitary inverse semigroups / Mark V. Lawson -- 7. Some results on semigroup-graded rings / W.D. Munn -- 8. Profinite groups and applications to finite semigroups / Luis Ribes -- Research articles. 1. Dynamics of finite semigroups / Jorge Almeida -- 2. Group presentations for a class of radical rings of matrices / Noelle Antony, Clare Coleman and David Easdown -- 3. Finite semigroups imposing tractable constraints / Andrei Bulatov, Peter Jeavons, Mikhail Volkov -- 4. On the efficiency and deficiency of Rees matrix semigroups / C.M. Campbell, J.D. Mitchell and N. Ruškuc -- 5. Some pseudovariety joins involving groups and locally trivial semigroups / José Carlos Costa -- 6. Partial action of groups on relational structures: a connection between model theory and profinite topology / Thierry Coulbois -- 7. Presentations for some monoids of partial transformations on a finite chain: a survey / Vítor H. Fernandes -- 8. Some relatives of automatic and hyperbolic groups / Michael Hoffmann [and others] -- 9. Operators on classes of regular languages / Libor Polák -- 10. Automata in autonomous varieties / Olga Sokratova -- 11. A sampler of a topological approach to inverse semigroups / Benjamin Steinberg -- 12. Finite semigroups and the logical description of regular languages / Howard Straubing -- 13. Diamonds are forever: the variety DA / Pascal Tesson and Denis Thérien -- 14. Decidability problems in finite semigroups / Peter G. Trotter. Semigroups Congresses. Algorithms Congresses. Machine theory Congresses. Formal languages Congresses. Semi-groupes Congrès. Algorithmes Congrès. Théorie des automates Congrès. Langages formels Congrès. MATHEMATICS Group Theory. bisacsh Algorithms fast Formal languages fast Machine theory fast Semigroups fast Automatentheorie gnd http://d-nb.info/gnd/4003953-5 Halbgruppentheorie gnd http://d-nb.info/gnd/4288418-4 Abstracte automaten. gtt Programmeertalen. gtt Semigroepen. gtt Algoritmen. gtt |
| subject_GND | http://d-nb.info/gnd/4003953-5 http://d-nb.info/gnd/4288418-4 |
| title | Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / |
| title_auth | Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / |
| title_exact_search | Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / |
| title_full | Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / editors, Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva. |
| title_fullStr | Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / editors, Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva. |
| title_full_unstemmed | Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / editors, Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva. |
| title_short | Semigroups, algorithms, automata, and languages : |
| title_sort | semigroups algorithms automata and languages coimbra portugal may july 2001 |
| title_sub | Coimbra, Portugal, May-July 2001 / |
| topic | Semigroups Congresses. Algorithms Congresses. Machine theory Congresses. Formal languages Congresses. Semi-groupes Congrès. Algorithmes Congrès. Théorie des automates Congrès. Langages formels Congrès. MATHEMATICS Group Theory. bisacsh Algorithms fast Formal languages fast Machine theory fast Semigroups fast Automatentheorie gnd http://d-nb.info/gnd/4003953-5 Halbgruppentheorie gnd http://d-nb.info/gnd/4288418-4 Abstracte automaten. gtt Programmeertalen. gtt Semigroepen. gtt Algoritmen. gtt |
| topic_facet | Semigroups Congresses. Algorithms Congresses. Machine theory Congresses. Formal languages Congresses. Semi-groupes Congrès. Algorithmes Congrès. Théorie des automates Congrès. Langages formels Congrès. MATHEMATICS Group Theory. Algorithms Formal languages Machine theory Semigroups Automatentheorie Halbgruppentheorie Abstracte automaten. Programmeertalen. Semigroepen. Algoritmen. Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=514301 |
| work_keys_str_mv | AT gomesgracindams semigroupsalgorithmsautomataandlanguagescoimbraportugalmayjuly2001 AT pinjeaneric semigroupsalgorithmsautomataandlanguagescoimbraportugalmayjuly2001 AT silvapedrov semigroupsalgorithmsautomataandlanguagescoimbraportugalmayjuly2001 |