Algorithmic properties of structures: selected papers
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Singapore u.a.
World Scientific
1993
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 257 S. |
| ISBN: | 9810208723 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009584426 | ||
| 003 | DE-604 | ||
| 005 | 20200327 | ||
| 007 | t | ||
| 008 | 940509s1993 |||| 00||| eng d | ||
| 020 | |a 9810208723 |9 981-02-0872-3 | ||
| 035 | |a (OCoLC)633803582 | ||
| 035 | |a (DE-599)BVBBV009584426 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G |a DE-634 |a DE-11 | ||
| 082 | 0 | |a 512.3 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 084 | |a DAT 455f |2 stub | ||
| 084 | |a DAT 005f |2 stub | ||
| 084 | |a DAT 530f |2 stub | ||
| 100 | 1 | |a Engeler, Erwin |d 1930- |e Verfasser |0 (DE-588)1089102372 |4 aut | |
| 245 | 1 | 0 | |a Algorithmic properties of structures |b selected papers |c Erwin Engeler |
| 264 | 1 | |a Singapore u.a. |b World Scientific |c 1993 | |
| 300 | |a VIII, 257 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Algebraische Struktur |0 (DE-588)4001166-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmentheorie |0 (DE-588)4200409-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Algebraische Struktur |0 (DE-588)4001166-5 |D s |
| 689 | 0 | 1 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Algorithmentheorie |0 (DE-588)4200409-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 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=006334451&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| _version_ | 1805083488608583680 |
|---|---|
| adam_text |
CONTENTS
Preface v
I. Logics of Algorithmic Properties 1
Algorithmic properties of structures, Math. Systems Theory 1, 3
(1967) 183 195 3
Constructible maps. In: Formal Languages: Automata and Structures,
Markham Publ. Co. Chicago, 1968, 68 76 21
Remarks on the theory of geometrical constructions. In: Syntax and
Semantics of Infinitary Languages (ed. J. Barwise) LN Mathematics,
Vol. 72, Springer, 1968, 64 76 31
Proof theory and the accuracy of computations. In: Symp. Auto¬
matic Demonstr. (eds. M. Laudet et al.) LN Mathematics, Vol. 125,
Springer, 1970, 62 72 45
Algorithmic approximations, J. Comp. Systems Sci. 5 (1971) 67 82 53
Structure and meaning of elementary programs. In: Symp. Semantics
of Algorithmic Languages (ed. E. Engeler) LN Mathematics, Vol. 188,
Springer, 1971, 89 101 73
An algorithmic model of strict finitism. In: Mathem. Logic in Com¬
puter Sci. (eds. B. Domolki et al.) 26th Colloq. Math., Janos Bolyai
Mathematical Society, 1978 87
The logic of "can do". In: Intern. Symp. on Theoretical Program¬
ming, Novosibirsk 1972, (eds. A. Ershov et al.) LN Computer Science,
Vol. 5, Springer, 1974, 17 28 97
II. Galois Theory and the Structure of Problems 107
On the solvability of algorithmic problems. In: Logic Colloquium 73
(eds. H. E. Rose and J. C. Shepherdson) 1975, 231 251 109
Towards a Galois theory of algorithmic problems. In: Math. Found.
of Comp. Sc. (eds. J. Becvar et al.), Slovac Acad. Sci., 1973, 51 55 131
Structural relations between programs and problems, Int. Congr.
Logic Math. Phil. Sci. London, Ont. 1975. In: Logic, Found, of
Math, and Computability (eds. Butts and Hintikka), Kluwer, 1977, 137
267 280
vii
viii Contents
Lower bounds by Galois theory, Asterisque 38 (1976) 45 52 151
Generalized Galois theory and its application to complexity, Theo 157
retical Computer Sci. 13 (1981) 271 293
III. An Algebraization of Algorithmics 183
Algebras and combinators, Algebra Universal 13 (1981) 389 392 185
Representations of varieties in combinatory algebras, Algebra Universals
25 (1988) 85 95 189
Equations in combinatory algebras. In: Logics of Programs (eds. E.
Clarke et al.) LN Computer Science, Vol. 164, Springer, 1984, 193 205 199
Cumulative logic programs and modeling. In: Logic Colloquium 86
(eds. F. R. Drake and J. K. Truss) Elsevier, 1988, 83 93 205
Formal models of computation in which data are processes: theory and
applications. In: Proc. Int. Conf. Math. Stud. Info. (eds. E. K. Blum
and S. Takasu) Kyoto University, 1978, 541 558 217
Sketch of a new discipline of modeling. In: Computer Math., Nankai
Proc. (ed. W. T. Wu and G. D. Hu), World Scientific, 1993, 66 76 231
Combinatory differential fields, Theoretical Computer Science 72 (1990)
119 131 243 |
| any_adam_object | 1 |
| author | Engeler, Erwin 1930- |
| author_GND | (DE-588)1089102372 |
| author_facet | Engeler, Erwin 1930- |
| author_role | aut |
| author_sort | Engeler, Erwin 1930- |
| author_variant | e e ee |
| building | Verbundindex |
| bvnumber | BV009584426 |
| classification_rvk | ST 130 ST 134 |
| classification_tum | DAT 455f DAT 005f DAT 530f |
| ctrlnum | (OCoLC)633803582 (DE-599)BVBBV009584426 |
| dewey-full | 512.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra |
| dewey-raw | 512.3 |
| dewey-search | 512.3 |
| dewey-sort | 3512.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009584426</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200327</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940509s1993 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810208723</subfield><subfield code="9">981-02-0872-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633803582</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009584426</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-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 455f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 005f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 530f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Engeler, Erwin</subfield><subfield code="d">1930-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1089102372</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmic properties of structures</subfield><subfield code="b">selected papers</subfield><subfield code="c">Erwin Engeler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore u.a.</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 257 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="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">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</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">Algorithmentheorie</subfield><subfield code="0">(DE-588)4200409-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</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=006334451&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV009584426 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T07:49:21Z |
| institution | BVB |
| isbn | 9810208723 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006334451 |
| oclc_num | 633803582 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM DE-634 DE-11 |
| owner_facet | DE-29T DE-91G DE-BY-TUM DE-634 DE-11 |
| physical | VIII, 257 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Engeler, Erwin 1930- Verfasser (DE-588)1089102372 aut Algorithmic properties of structures selected papers Erwin Engeler Singapore u.a. World Scientific 1993 VIII, 257 S. txt rdacontent n rdamedia nc rdacarrier Algebraische Struktur (DE-588)4001166-5 gnd rswk-swf Algorithmentheorie (DE-588)4200409-3 gnd rswk-swf Algorithmus (DE-588)4001183-5 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Algebraische Struktur (DE-588)4001166-5 s Algorithmus (DE-588)4001183-5 s DE-604 Algorithmentheorie (DE-588)4200409-3 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006334451&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Engeler, Erwin 1930- Algorithmic properties of structures selected papers Algebraische Struktur (DE-588)4001166-5 gnd Algorithmentheorie (DE-588)4200409-3 gnd Algorithmus (DE-588)4001183-5 gnd |
| subject_GND | (DE-588)4001166-5 (DE-588)4200409-3 (DE-588)4001183-5 (DE-588)4143413-4 |
| title | Algorithmic properties of structures selected papers |
| title_auth | Algorithmic properties of structures selected papers |
| title_exact_search | Algorithmic properties of structures selected papers |
| title_full | Algorithmic properties of structures selected papers Erwin Engeler |
| title_fullStr | Algorithmic properties of structures selected papers Erwin Engeler |
| title_full_unstemmed | Algorithmic properties of structures selected papers Erwin Engeler |
| title_short | Algorithmic properties of structures |
| title_sort | algorithmic properties of structures selected papers |
| title_sub | selected papers |
| topic | Algebraische Struktur (DE-588)4001166-5 gnd Algorithmentheorie (DE-588)4200409-3 gnd Algorithmus (DE-588)4001183-5 gnd |
| topic_facet | Algebraische Struktur Algorithmentheorie Algorithmus Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006334451&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT engelererwin algorithmicpropertiesofstructuresselectedpapers |