Combinatorics, complexity & logic: proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996]
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1997
|
| Schriftenreihe: | Springer series in discrete mathematics and theoretical computer science
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VIII, 422 S. graph. Darst. |
| ISBN: | 981308314X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011426600 | ||
| 003 | DE-604 | ||
| 005 | 20080717 | ||
| 007 | t | ||
| 008 | 970701s1997 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 950575275 |2 DE-101 | |
| 020 | |a 981308314X |c kart. : DM 88.00 |9 981-3083-14-X | ||
| 035 | |a (OCoLC)632930553 | ||
| 035 | |a (DE-599)BVBBV011426600 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29T |a DE-739 |a DE-19 |a DE-706 |a DE-188 | ||
| 084 | |a SD 1996 |0 (DE-625)142730: |2 rvk | ||
| 245 | 1 | 0 | |a Combinatorics, complexity & logic |b proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] |c D. S. Bridges ... (ed.). [Centre for Discrete Mathematics & Theoretical Computer Science, Auckland, Waikato] |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1997 | |
| 300 | |a VIII, 422 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer series in discrete mathematics and theoretical computer science | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kombinatorik |0 (DE-588)4031824-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Auckland |2 gnd-content | |
| 689 | 0 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 0 | 1 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bridges, Douglas S. |e Sonstige |4 oth | |
| 710 | 2 | |a Centre for Discrete Mathematics & Theoretical Computer Science |e Sonstige |0 (DE-588)2164106-7 |4 oth | |
| 711 | 2 | |a DMTCS |n 1 |d 1996 |c Auckland |j Sonstige |0 (DE-588)2164103-1 |4 oth | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007683425&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007683425 | ||
Datensatz im Suchindex
| _version_ | 1804125941165719552 |
|---|---|
| adam_text | D.S. BRIDGES S. REEVES C.S. CALUDE I.H.WITTEN J. GIBBONS (EDITORS)
COMBINATORICS, COMPLEXITY, & LOGIC PROCEEDINGS OFDMTCS 96 SPRINGER TABLE
OF CONTENTS INVITED PAPERS GREGORY J. CHAITIN AN INVITATION TO
ALGORITHMIC INFORMATION THEORY 1 FAN CHUNG DISCRETE ISOPERIMETRIC
INEQUALITIES 24 CHARLES J. COLBOURN AND JEFFREY DINITZ N(N) AND I (N):
SIMILARITIES AND DIFFERENCES 25 ANDRZEJ EHRENFEUCHT AND GRZEGORZ
ROZENBERG, FORBIDDING AND ENFORCING 37 SUSUMU HAYASHI CONSTRUCTIVE
PROGRAMMING: A PERSONAL VIEW 38 PIERGIORGIO ODIFREDDI INDISCREET
APPLICATIONS OF DISCRETE MATHEMATICS 52 KLAUS WEIHRAUCH A FOUNDATION FOR
COMPUTABLE ANALYSIS 66 CONTRIBUTED PAPERS IOANNIS ANTONIOU, BORIS PAVLOV
AND ADIL YAFSAYOV QUANTUM ELECTRONIC DEVICES BASED ON METAL-DIELECTRIC
TRANSITION IN LOW-DIMENSIONAL QUANTUM STRUCTURES 90 RICHARD P. ANSTEE
AND LOU CACCETTA RECOGNIZING DIAMETER CRITICAL GRAPHS 10 5 DAN
ARCHDEACON, C. PAUL BONNINGTON, JOHN PEARSON AND JOZEF SIRAN THE
HADWIGER NUMBER FOR THE PRODUCT OF TWO CYCLES 113 CLAUDIA
BERTRAM-KRETZBERG, HANNO LEFMANN, VOJTECH RODL AND BEATA WYSOCKA PROPER
BOUNDED EDGE-COLORINGS 121 STEPHEN A. BLOCH, JONATHAN F. BUSS AND JUDY
GOLDSMITH SHARPLY BOUNDED ALTERNATION WITHIN P 131 NEAL BRAND AND
MARGARET MORTON A NOTE ON THE GROWTH RATE OF PLANAR GRAPHS 147 GHULAM
RASOOL CHAUDHRY AND JENNIFER SEBERRY SECRET SHARING SCHEMES BASED ON
ROOM SQUARES 158 SERAFINO CICERONE AND GABRIELE DI STEFANO GRAPH CLASSES
BETWEEN PARITY AMD DISTANCE-HEREDITARY GRAPHS 168 MARSTON D. E. CONDER
AND CAMERON G. WALKER SIERPINSKI S GASKET, 2-GROUPS AND GRAPH SYMMETRIES
182 VIII TABLE OF CONTENTS PAL DOMBSI. MASAMI ITO. MASASHI KATSURA AND
CHRYSTOPHER NEHANIV A NEW PUMPING PROPERTY OF CONTEXT-FREE LANGUAGES 187
ROD G. DOWNEY. MICHAEL R. FELLOWS AND UDAYAN TAYLOR THE PARAMETERIZED
COMPLEXITY OF RELATIONAL DATABASE QUERIES AND AN IMPROVED
CHARACTERIZATION OF H*[L] 194 GIULIA GALBIATI, ANGELO MORZENTI AND
FRANCESCO MAFFIOLI ON THE LOGICAL DEFINABILITY OF SOME MAXIMUM LEAVES
PROBLEMS 214 ROBERT GOLDBLATT THE FUNCTIONAL LAMBDA ABSTRACTION ALGEBRAS
FORM A VARIETY 226 HANS W. GUESGEN A FORMALIZATION OF ANYTIME CONSTRAINT
SATISFACTION 244 RYU HASEGAWA THE GENERATING FUNCTIONS OF LAMBDA TERMS
253 PETER HERTLING EFFECTIVITY AND EFFECTIVE CONTINUITY OF FUNCTIONS
BETWEEN COMPUTABLE METRIC SPACES 264 BALAZS IMREH, MASAMI ITO AND
MASASHI KATSURA ON SHUFFLE CLOSURE OF COMMUTATIVE REGULAR LANGUAGES 276
ANDREI KELAREV C O M B I N A T O R I A L P R O P E R T I E S OF S E Q U
E N C E S I N G R O U P S A N D S E M I R I N G S . . . . 2 8 9
BAKHADYR KHOUSSAINOV AND RICHARD SHORE CATEGORICITY AND SCOTT FAMILIES
299 PADMANABHAN KRISHNAN AND JANE HOPKINS A PROCESS ALGEBRAIC VIEW OF
LINEAR LOGIC 308 KLAUS-JORN LANGE AND KLAUS REINHARDT SET AUTOMATA 321
CHARLES H. C. LITTLE AND BRUCE VAN-BRUNT A CONDITION FOR A NORMAL
SEMICYCLE TO SEPARATE AN ORIENTABLE 3-GRAPH 330 SATOSHI MATSUOKA A NEW
PROOF SEARCH METHOD FOR LINEAR LOGIC 338 TAKAKAZU MORI, YOSHIKI TSUJII
AND MARIKO YASUGI COMPUTABILITY STRUCTURES ON METRIC SPACES 351 KAI
SALOMAA AND SHENG YU EDTOL STRUCTURAL EQUIVALENCE IS DECIDABLE 363
CHARLES SEMPLE K- REGULAR MATROIDS 376 DIETER SPREEN REPRESENTATIONS
VERSUS NURNBERINGS: ON TWO COMPUTABILITY NOTIONS . . 387 MOUW-CHING
TJIOK THE ROLE OF KRIPKE SEMANTICS IN REASONING OF KNOWLEDGE AND TIME .
. 402
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011426600 |
| classification_rvk | SD 1996 |
| ctrlnum | (OCoLC)632930553 (DE-599)BVBBV011426600 |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02052nam a2200445 c 4500</leader><controlfield tag="001">BV011426600</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080717 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970701s1997 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950575275</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">981308314X</subfield><subfield code="c">kart. : DM 88.00</subfield><subfield code="9">981-3083-14-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632930553</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011426600</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1996</subfield><subfield code="0">(DE-625)142730:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Combinatorics, complexity & logic</subfield><subfield code="b">proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996]</subfield><subfield code="c">D. S. Bridges ... (ed.). [Centre for Discrete Mathematics & Theoretical Computer Science, Auckland, Waikato]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 422 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="0" ind2=" "><subfield code="a">Springer series in discrete mathematics and theoretical computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</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">1996</subfield><subfield code="z">Auckland</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Bridges, Douglas S.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Centre for Discrete Mathematics & Theoretical Computer Science</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2164106-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DMTCS</subfield><subfield code="n">1</subfield><subfield code="d">1996</subfield><subfield code="c">Auckland</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2164103-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007683425&sequence=000001&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-007683425</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Auckland gnd-content |
| genre_facet | Konferenzschrift 1996 Auckland |
| id | DE-604.BV011426600 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:09:33Z |
| institution | BVB |
| institution_GND | (DE-588)2164106-7 (DE-588)2164103-1 |
| isbn | 981308314X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007683425 |
| oclc_num | 632930553 |
| open_access_boolean | |
| owner | DE-29T DE-739 DE-19 DE-BY-UBM DE-706 DE-188 |
| owner_facet | DE-29T DE-739 DE-19 DE-BY-UBM DE-706 DE-188 |
| physical | VIII, 422 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer series in discrete mathematics and theoretical computer science |
| spelling | Combinatorics, complexity & logic proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] D. S. Bridges ... (ed.). [Centre for Discrete Mathematics & Theoretical Computer Science, Auckland, Waikato] Berlin [u.a.] Springer 1997 VIII, 422 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Springer series in discrete mathematics and theoretical computer science Literaturangaben Logik (DE-588)4036202-4 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf Kombinatorik (DE-588)4031824-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Auckland gnd-content Kombinatorik (DE-588)4031824-2 s Berechnungskomplexität (DE-588)4134751-1 s Logik (DE-588)4036202-4 s DE-604 Bridges, Douglas S. Sonstige oth Centre for Discrete Mathematics & Theoretical Computer Science Sonstige (DE-588)2164106-7 oth DMTCS 1 1996 Auckland Sonstige (DE-588)2164103-1 oth GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007683425&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Combinatorics, complexity & logic proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] Logik (DE-588)4036202-4 gnd Berechnungskomplexität (DE-588)4134751-1 gnd Kombinatorik (DE-588)4031824-2 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4134751-1 (DE-588)4031824-2 (DE-588)1071861417 |
| title | Combinatorics, complexity & logic proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] |
| title_auth | Combinatorics, complexity & logic proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] |
| title_exact_search | Combinatorics, complexity & logic proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] |
| title_full | Combinatorics, complexity & logic proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] D. S. Bridges ... (ed.). [Centre for Discrete Mathematics & Theoretical Computer Science, Auckland, Waikato] |
| title_fullStr | Combinatorics, complexity & logic proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] D. S. Bridges ... (ed.). [Centre for Discrete Mathematics & Theoretical Computer Science, Auckland, Waikato] |
| title_full_unstemmed | Combinatorics, complexity & logic proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] D. S. Bridges ... (ed.). [Centre for Discrete Mathematics & Theoretical Computer Science, Auckland, Waikato] |
| title_short | Combinatorics, complexity & logic |
| title_sort | combinatorics complexity logic proceedings of dmtcs 96 at the university of auckland from 9 to 13 december 1996 |
| title_sub | proceedings of DMTCS '96 ; [at the University of Auckland from 9 to 13 December 1996] |
| topic | Logik (DE-588)4036202-4 gnd Berechnungskomplexität (DE-588)4134751-1 gnd Kombinatorik (DE-588)4031824-2 gnd |
| topic_facet | Logik Berechnungskomplexität Kombinatorik Konferenzschrift 1996 Auckland |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007683425&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bridgesdouglass combinatoricscomplexitylogicproceedingsofdmtcs96attheuniversityofaucklandfrom9to13december1996 AT centrefordiscretemathematicstheoreticalcomputerscience combinatoricscomplexitylogicproceedingsofdmtcs96attheuniversityofaucklandfrom9to13december1996 AT dmtcsauckland combinatoricscomplexitylogicproceedingsofdmtcs96attheuniversityofaucklandfrom9to13december1996 |