Mathematical problems in computation theory: [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985]
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English Russian |
| Veröffentlicht: |
Warszawa
PWN
1988
|
| Schriftenreihe: | Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications
21 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 597 S. graph. Darst. |
| ISBN: | 8301079363 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006068807 | ||
| 003 | DE-604 | ||
| 005 | 20160727 | ||
| 007 | t | ||
| 008 | 921030s1988 d||| |||| 10||| eng d | ||
| 020 | |a 8301079363 |9 83-01-07936-3 | ||
| 035 | |a (OCoLC)439879744 | ||
| 035 | |a (DE-599)BVBBV006068807 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng |a rus | |
| 049 | |a DE-739 |a DE-11 |a DE-188 | ||
| 084 | |a SD 1985 |0 (DE-625)142719: |2 rvk | ||
| 084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
| 245 | 1 | 0 | |a Mathematical problems in computation theory |b [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] |c ed. of the vol. Grażyna Mirkowska ... |
| 264 | 1 | |a Warszawa |b PWN |c 1988 | |
| 300 | |a 597 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications |v 21 | |
| 650 | 4 | |a Kompjuterska teorija - Matematika | |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mirkowska, Grażyna |e Sonstige |4 oth | |
| 830 | 0 | |a Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications |v 21 |w (DE-604)BV000010142 |9 21 | |
| 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=003828393&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003828393 | ||
Datensatz im Suchindex
| _version_ | 1804120288155140096 |
|---|---|
| adam_text | CONTENTS
Preface 5 6
A. Arnold, Transition systems and concurrent processes 9 20
A. Asperti and G. Longo, Categories of partial morphisms and the relation between
type structures. Partial variations on a theme of Friedman and Statman . . 21 45
J. C. M. Baeten, J. A. Bergstra and J. W. Klop, An operational semantics for
process algebra 47 81
J. P. Banatre, Construction of parallel programs with networks of cooperating
processes 83 96
L. Budach, The complexity of classification problems 97 113
H. D. Burkhard, Fairness and control 115 128
P. Burmeister, Closed set of universal Horn formulas for many sorted (partial)
algebras 129 143
M. Chadili and I. Guessarian, Fairness for synchronous fork join nets .... 145 158
Keh Hsun Chen and Z. W. Ras, An axiomatic theory of information trees . . 159 167
G. Cioni and A. Miola, How to treat decision problems by different programming
methodologies 169 187
J. R. B. Cockett, Coalgebraic decision theory 189 196
B. Courcelle, A note on the minimalization of tree automata 197 203
K. Culik, Synchronous parallelizations of serial computer programs 205 224
K. Denecke, Categorical equivalences of varieties generated by algebras sil and siV 225 233
P. van Emde Boas, The second machine class 2, an encyclopedic view on the
parallel computation thesis 235 256,
K. Indermark, Functional compiler description 257 275
J. P. Jones, Elementary properties of the class of nondeterministic polynomial time
computable functions 277 284
A. J. Kfoury, Square free and overlap free words 285 297
M. A. Noit Abdallah, Finite and infinite computations of logic programs . . . 299 313
M. Novotny, Effective constructions of grammars 315 328
E. Orlowska, Kripke models with relative accessibility and their applications to
inferences from incomplete informations 329 339
E. W. Packel, The extent to which linear problems have linear optimal algorithms? 341 357
A. Pettorossi, Higher order generalization in program derivation 359 368
D. Schweigert, On equations of clones 369 375
D. Skordev, On the use of homomorphisms for proving the equivalence of some
programs 377 384
M. E. Szabo, On some arithmetically expressible properties of programs .... 385 394
D. Therin and M. Sznajder Glodowski, Finite categories and regular languages 395 ^02
W. Thomas, Safety and liveness properties in propositional temporal logic:
characterization and decidability 403 417
8 CONTENTS
T. Tinchev and D. Vakarelov, Prepositional dynamic logic with recursive
programs 419 426
M. Venturini Zilli, Countable nondeterminism and logics of programs: fair
wellfoundedness of while programs with nondeterministic assignments of the logic
ALNA 427^36
W. Wechler, Iterative non deterministic algebras 437 447
G. Wechsung, More about the closure NP 449 458
A. G. Werschulz, Information based complexity and operator equations . . . 459 486
C. B. FAUIKOB, O CJI03KHOCTH npH6jIHKeHHOrO BMHHCJieHHH HCnpepblBHWX 4)VHKUHH 487 497
H. H. Ky3K)PHH, O rjiy6HHe 6yjieBwx j yHKUHH, peajiM3yeMwx KOHTaKTHWMH cxe
MaMH 3a«aHHOH CJI05KHOCTH 499 502
C. A. JIcracKHH, A. H. PbiBKo, A. A. Caiioxehko, K . Xpomkobhh, H. A.
IIIKAJIHKOBA, O6 o«hom noflxoae k ouemce npocTpaHCTBeHHOH cjioschocth
CXeM H3 4 yHKUHOHajlbHUX MeMeHTOB 503 512
X. A. Ma athh, Ouemca HHCJia npeacTaBHTejibHWX Ra6opoB ana oflHoro Kjiacca
6HHapHbix Ta6jiHu 513 522
M. K). Modikob, O cooTHomemm rjiy6HHw fleTepMHHHpoBaHHwx h H aeTepMHHHpo
BaHHbix 6ecKOHTypHwx nporpaMM b 6a3Hce {x+y, x—y, 1; signx} . . . 523 529
P. T. HHrMATyjuiHH, JlmieHHbie HHXHHe oueHKH cjiojkhocth h hx MaTeMaTHiecKHe
MoaejiH 531 542
T. A. TKAHEB, O6 3(tK})eKTHBHbIX HH2KHHX OUeHKaX CJTO5KHOCTH peajIH3aUHH (JiyHKHHH
b pa3^HHHWx miaccax ynpaBJijnoiUHX CHcrreM, c orpaHHHeHHeM Ha cTpyKTypy cxeM 543 555
A. B. Opojiob, FIoHaTHe nojiHoro paciirapeHHs 4 yHKi(HH nacnreHo onpeae^eHHOH
jiorHHecKoft ceTH h ero npHMeHeHHe b flHarHocTHKe flHCKperHux yerpoHCTB 557 571
H. A. IIIkajihkoba, O peajnmuHH GyjieBCKHX t^yHKUHH nnocKHMH h o6i eMHbiMH
cxeMaMH H3 4 yHKimoHajibHbix aneMeHTOB 573 583
K). H. .Shob, Meroa pa3peiueHHJi ceMaHTHMecKHx cboijctb ajiropHTMOB .... 585 597
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV006068807 |
| classification_rvk | SD 1985 SK 890 ST 130 ST 134 |
| ctrlnum | (OCoLC)439879744 (DE-599)BVBBV006068807 |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01940nam a2200409 cb4500</leader><controlfield tag="001">BV006068807</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160727 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921030s1988 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8301079363</subfield><subfield code="9">83-01-07936-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)439879744</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006068807</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><subfield code="a">rus</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1985</subfield><subfield code="0">(DE-625)142719:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</subfield><subfield code="2">rvk</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="245" ind1="1" ind2="0"><subfield code="a">Mathematical problems in computation theory</subfield><subfield code="b">[proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985]</subfield><subfield code="c">ed. of the vol. Grażyna Mirkowska ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Warszawa</subfield><subfield code="b">PWN</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">597 S.</subfield><subfield code="b">graph. Darst.</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">Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications</subfield><subfield code="v">21</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Kompjuterska teorija - Matematika</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mirkowska, Grażyna</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications</subfield><subfield code="v">21</subfield><subfield code="w">(DE-604)BV000010142</subfield><subfield code="9">21</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=003828393&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003828393</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV006068807 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:39:42Z |
| institution | BVB |
| isbn | 8301079363 |
| language | English Russian |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003828393 |
| oclc_num | 439879744 |
| open_access_boolean | |
| owner | DE-739 DE-11 DE-188 |
| owner_facet | DE-739 DE-11 DE-188 |
| physical | 597 S. graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | PWN |
| record_format | marc |
| series | Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications |
| series2 | Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications |
| spelling | Mathematical problems in computation theory [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] ed. of the vol. Grażyna Mirkowska ... Warszawa PWN 1988 597 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications 21 Kompjuterska teorija - Matematika Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Berechenbarkeit (DE-588)4138368-0 s DE-604 Mirkowska, Grażyna Sonstige oth Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications 21 (DE-604)BV000010142 21 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003828393&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical problems in computation theory [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] Miedzynarodowe Centrum Matematycne Imenia Stefana Banacha <Warszawa>: Banach Center publications Kompjuterska teorija - Matematika Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Mathematical problems in computation theory [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] |
| title_auth | Mathematical problems in computation theory [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] |
| title_exact_search | Mathematical problems in computation theory [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] |
| title_full | Mathematical problems in computation theory [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] ed. of the vol. Grażyna Mirkowska ... |
| title_fullStr | Mathematical problems in computation theory [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] ed. of the vol. Grażyna Mirkowska ... |
| title_full_unstemmed | Mathematical problems in computation theory [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] ed. of the vol. Grażyna Mirkowska ... |
| title_short | Mathematical problems in computation theory |
| title_sort | mathematical problems in computation theory proceedings of the 26th semester mathematical problems in computation theory held at the banach international mathematical center in warsaw from september 16th to december 14th 1985 |
| title_sub | [proceedings of the 26th Semester Mathematical Problems in Computation Theory held at the Banach International Mathematical Center in Warsaw from September 16th to December 14th 1985] |
| topic | Kompjuterska teorija - Matematika Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Kompjuterska teorija - Matematika Berechenbarkeit Aufsatzsammlung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003828393&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000010142 |
| work_keys_str_mv | AT mirkowskagrazyna mathematicalproblemsincomputationtheoryproceedingsofthe26thsemestermathematicalproblemsincomputationtheoryheldatthebanachinternationalmathematicalcenterinwarsawfromseptember16thtodecember14th1985 |