Universal algebra and its links with logic, algebra, combinatorics and computer science: proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin
Heldermann
1984
|
| Series: | Research and exposition in mathematics
4 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VII, 243 S. |
| ISBN: | 3885382040 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000426198 | ||
| 003 | DE-604 | ||
| 005 | 20190328 | ||
| 007 | t | ||
| 008 | 870612s1984 |||| 10||| eng d | ||
| 020 | |a 3885382040 |9 3-88538-204-0 | ||
| 035 | |a (OCoLC)642993423 | ||
| 035 | |a (DE-599)BVBBV000426198 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-898 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a SD 1983 |0 (DE-625)142717: |2 rvk | ||
| 084 | |a 08-06 |2 msc | ||
| 245 | 1 | 0 | |a Universal algebra and its links with logic, algebra, combinatorics and computer science |b proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 |c P. Burmeister ... (eds.) |
| 264 | 1 | |a Berlin |b Heldermann |c 1984 | |
| 300 | |a VII, 243 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Research and exposition in mathematics |v 4 | |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Struktur |0 (DE-588)4001166-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Universelle Algebra |0 (DE-588)4061777-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1983 |z Darmstadt |2 gnd-content | |
| 689 | 0 | 0 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Algebraische Struktur |0 (DE-588)4001166-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Universelle Algebra |0 (DE-588)4061777-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Burmeister, Peter |d 1941-2019 |e Sonstige |0 (DE-588)1176090798 |4 oth | |
| 711 | 2 | |a Arbeitstagung über Allgemeine Algebra |n 25 |d 1983 |c Darmstadt |j Sonstige |0 (DE-588)2079775-8 |4 oth | |
| 830 | 0 | |a Research and exposition in mathematics |v 4 |w (DE-604)BV000017533 |9 4 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000263731&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-www | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000263731 | ||
Record in the Search Index
| _version_ | 1804114887039778816 |
|---|---|
| adam_text | CONTENTS
Gratzer, G.: Universal algebra and lattice theory: a story and three research problems 1
Gumm, H. P.: Geometrical reasoning and analogy in universal algebra 14
Kaiser, H. K.: Interpolation in universal algebra 29
Felscher, W.; Schulte Monting, J.: Algebraic and deductive consequence operations 41
Hodges, W.: On constructing many non isomorphic algebras 67
Richter, M. M.: Some aspects of nonstandard methods in general algebra 78
Weispfenning, V.: Aspects of quantifier elimination in algebra 85
Werner, H.: Boolean constructions and their role in universal algebra and model theory 106
Cohn, P. M.: Embedding problems for rings and semigroups 115
Jurgensen, H.: Varietaten von Monoiden, Kongruenzen und Sprachen oder: Wie man zahlt .... 127
Mac Lane, S.: Diagrams, equations and theories in categories 143
Quackenbush, R.: Universal algebra and combinatorics 150
Beutelspacher, A.: Universal algebra and combinatorics a series of problems 168
Funk, M.; Kegel, O. H.; Strambach, K.: On group universality and homogeneity 173
Herzer, A.: Wiinsche eines Geometers an die Allgemeine Algebra 183
Mohring, R. H.: An algebraic decomposition theory for discrete structures 191
Andreka, H.; Nemeti, I.: Importance of universal algebra for computer science 204
Kucera, L.; Trnkova, V.: The computational complexity of some problems of universal algebra . . 216
Reichel, H.: Partial algebras — a sound basis for structural induction 230
List of participants 241
|
| any_adam_object | 1 |
| author_GND | (DE-588)1176090798 |
| building | Verbundindex |
| bvnumber | BV000426198 |
| classification_rvk | SD 1983 |
| ctrlnum | (OCoLC)642993423 (DE-599)BVBBV000426198 |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02005nam a2200457 cb4500</leader><controlfield tag="001">BV000426198</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190328 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1984 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3885382040</subfield><subfield code="9">3-88538-204-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)642993423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000426198</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1983</subfield><subfield code="0">(DE-625)142717:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">08-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Universal algebra and its links with logic, algebra, combinatorics and computer science</subfield><subfield code="b">proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983</subfield><subfield code="c">P. Burmeister ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Heldermann</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 243 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Research and exposition in mathematics</subfield><subfield code="v">4</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Universelle Algebra</subfield><subfield code="0">(DE-588)4061777-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1983</subfield><subfield code="z">Darmstadt</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Universelle Algebra</subfield><subfield code="0">(DE-588)4061777-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Burmeister, Peter</subfield><subfield code="d">1941-2019</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1176090798</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Arbeitstagung über Allgemeine Algebra</subfield><subfield code="n">25</subfield><subfield code="d">1983</subfield><subfield code="c">Darmstadt</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2079775-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Research and exposition in mathematics</subfield><subfield code="v">4</subfield><subfield code="w">(DE-604)BV000017533</subfield><subfield code="9">4</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000263731&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000263731</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1983 Darmstadt gnd-content |
| genre_facet | Konferenzschrift 1983 Darmstadt |
| id | DE-604.BV000426198 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:13:51Z |
| institution | BVB |
| institution_GND | (DE-588)2079775-8 |
| isbn | 3885382040 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000263731 |
| oclc_num | 642993423 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-898 DE-BY-UBR DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-739 DE-898 DE-BY-UBR DE-83 DE-11 DE-188 |
| physical | VII, 243 S. |
| psigel | TUB-www |
| publishDate | 1984 |
| publishDateSearch | 1984 |
| publishDateSort | 1984 |
| publisher | Heldermann |
| record_format | marc |
| series | Research and exposition in mathematics |
| series2 | Research and exposition in mathematics |
| spelling | Universal algebra and its links with logic, algebra, combinatorics and computer science proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 P. Burmeister ... (eds.) Berlin Heldermann 1984 VII, 243 S. txt rdacontent n rdamedia nc rdacarrier Research and exposition in mathematics 4 Algebra (DE-588)4001156-2 gnd rswk-swf Algebraische Struktur (DE-588)4001166-5 gnd rswk-swf Universelle Algebra (DE-588)4061777-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1983 Darmstadt gnd-content Algebra (DE-588)4001156-2 s DE-604 Algebraische Struktur (DE-588)4001166-5 s Universelle Algebra (DE-588)4061777-4 s Burmeister, Peter 1941-2019 Sonstige (DE-588)1176090798 oth Arbeitstagung über Allgemeine Algebra 25 1983 Darmstadt Sonstige (DE-588)2079775-8 oth Research and exposition in mathematics 4 (DE-604)BV000017533 4 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000263731&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Universal algebra and its links with logic, algebra, combinatorics and computer science proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 Research and exposition in mathematics Algebra (DE-588)4001156-2 gnd Algebraische Struktur (DE-588)4001166-5 gnd Universelle Algebra (DE-588)4061777-4 gnd |
| subject_GND | (DE-588)4001156-2 (DE-588)4001166-5 (DE-588)4061777-4 (DE-588)1071861417 |
| title | Universal algebra and its links with logic, algebra, combinatorics and computer science proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 |
| title_auth | Universal algebra and its links with logic, algebra, combinatorics and computer science proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 |
| title_exact_search | Universal algebra and its links with logic, algebra, combinatorics and computer science proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 |
| title_full | Universal algebra and its links with logic, algebra, combinatorics and computer science proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 P. Burmeister ... (eds.) |
| title_fullStr | Universal algebra and its links with logic, algebra, combinatorics and computer science proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 P. Burmeister ... (eds.) |
| title_full_unstemmed | Universal algebra and its links with logic, algebra, combinatorics and computer science proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 P. Burmeister ... (eds.) |
| title_short | Universal algebra and its links with logic, algebra, combinatorics and computer science |
| title_sort | universal algebra and its links with logic algebra combinatorics and computer science proceedings of the 25 arbeitstagung uber allgemeine algebra darmstadt 1983 |
| title_sub | proceedings of the 25. Arbeitstagung über Allgemeine Algebra, Darmstadt 1983 |
| topic | Algebra (DE-588)4001156-2 gnd Algebraische Struktur (DE-588)4001166-5 gnd Universelle Algebra (DE-588)4061777-4 gnd |
| topic_facet | Algebra Algebraische Struktur Universelle Algebra Konferenzschrift 1983 Darmstadt |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000263731&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000017533 |
| work_keys_str_mv | AT burmeisterpeter universalalgebraanditslinkswithlogicalgebracombinatoricsandcomputerscienceproceedingsofthe25arbeitstagunguberallgemeinealgebradarmstadt1983 AT arbeitstagunguberallgemeinealgebradarmstadt universalalgebraanditslinkswithlogicalgebracombinatoricsandcomputerscienceproceedingsofthe25arbeitstagunguberallgemeinealgebradarmstadt1983 |