Sixth Italian Conference on Theoretical Computer Science: Prato, Italy, November 9 - 11, 1998
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Singapore [u.a.]
World Scientific
1998
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 384 S. |
| ISBN: | 9810236557 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012757639 | ||
| 003 | DE-604 | ||
| 005 | 19991216 | ||
| 007 | t| | ||
| 008 | 990910s1998 xx |||| 10||| eng d | ||
| 020 | |a 9810236557 |9 981-02-3655-7 | ||
| 035 | |a (OCoLC)41182941 | ||
| 035 | |a (DE-599)BVBBV012757639 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA76.5 | |
| 082 | 0 | |a 004 |2 21 | |
| 111 | 2 | |a Italian Conference on Theoretical Computer Science |n 6 |d 1998 |c Prato |j Verfasser |0 (DE-588)1243652-5 |4 aut | |
| 245 | 1 | 0 | |a Sixth Italian Conference on Theoretical Computer Science |b Prato, Italy, November 9 - 11, 1998 |c eds. Pierpaolo Degano ... |
| 246 | 1 | 3 | |a Theoretical computer science |
| 264 | 1 | |a Singapore [u.a.] |b World Scientific |c 1998 | |
| 300 | |a IX, 384 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Degano, Pierpaolo |d 1950- |e Sonstige |0 (DE-588)115394869 |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=008674394&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008674394 | |
Record in the Search Index
| _version_ | 1820882406452756480 |
|---|---|
| adam_text |
ITALIAN CONFERENCE ON I THEORETICAL COMPUTER SCIENCE ITALY NOVEMBER
9-11,1998 TECHNISCHE ^ INFORMAT!ONS5IOL!OTHEK UN!VER3ITATSBI'3L;OTHEK
HANNOVER EDITOR^ * ' PIERPAOLO DEGANO UNIVERSITD DI PISA, ITALY
UGOVACCARO UNIVERSITA DI SALERNO, ITALY GIUSEPPE PIRILLO IAMI CNR
SEZIONE DI FIRENZE, ITALY ^ WORLD SCIENTIFIC ^ SINGAPORE * NEW JERSEY
LONDON* HONG KONG CONTENTS BOHM'S THEOREM FOR BOHM'S TREES {INVITED
TALK) 1 M. DEZANI-CIANCAGLINI, B. INTRIGILA, M. VENTURINI-ZILLI CONCRETE
SYNTAX FOR INTUITIONISTIC LIGHT AFFINE LOGIC WITH POLYMORPHIC TYPE
ASSIGNMENT 24 L. ROVERSI A TYPE ASSIGNMENT SYSTEM FOR THE GAME SEMANTICS
37 P. DI GIANANTONIO, G. FRANCO A GAME SEMANTICS FOUNDATION FOR LOGIC
PROGRAMMING 48 R. DI COSMO, J.-V. LODDO, S. NICOLET TIGHT BOUNDS ON
BROADCASTING WITH DYNAMIC FAULTS 52 G. DE MARCO, A. A. RESCIGNO A NEW
MODULAR DIVISION ALGORITHM AND APPLICATIONS 65 M. S. SEDJELMACI, C.
LAVAULT FAST SINGLE PRECISION EVALUATION OF SIGN OF DETERMINANTS 77 F.
D'AMORE, P. G. FRANCIOSA FROM BANDWIDTH K TO PATHWIDTH K 90 A.
PROSKUROWSKI, J. A. TELLE MAINTAINING DYNAMIC GRAPH PROPERTIES
DETERMINISTICALLY 102 M. MARZOLLA ROOTED SPANNING TREES WITH SMALL
WEIGHT AND AVERAGE LENGTH 114 G. FREDERICKSON, R. SOLIS-OBA A SYMBOLIC
SEMANTICS FOR ABSTRACT MODEL CHECKING 126 F. LEVI A FIXPOINT-BASED AXIOM
SYSTEM FOR ACTL 129 G. LENZI VIII PROOF SYSTEMS WITH CUT ELIMINATION FOR
MTL-" 141 F. MONTAGNA, G. M. PINNA, E. B. P. TIEZZI A NATURAL DEDUCTION
STYLE PROOF SYSTEM FOR PROPOSITIONAL /I-CALCULUS AND ITS FORMALIZATION
IN INDUCTIVE TYPE THEORIES 153 M. MICULAN AMBIENT DECOR (INVITED TALK)
166 L. CARDELLI, A. D. GORDON IMPLEMENTING TILE SYSTEMS: SOME EXAMPLES
FROM PROCESS CALCULI 168 R. BRUNI, J. MESEGUER, U. MONTANARI SOME
CONCURRENCY MODELS IN A CATEGORICAL FRAMEWORK 180 C. BODEI ENABLING A N
D GENERAL DISTRIBUTIONS IN STOCHASTIC PROCESS ALGEBRAS . . . . 192 C.
PRIAMI FUNCTIONAL AND PERFORMANCE MODELING AND ANALYSIS OF TOKEN RING
USING EMPA 204 M. BERNARDO, M. BRAVETTI THRESHOLD CIRCUITS FOR SOME
MATRIX OPERATIONS. CONSEQUENCES ON REGULAR AND PROBABILISTIC LANGUAGES
216 C. MEREGHETTI, B. PALANO Q-ARY SEARCHING WITH LIES 228 F. CICALESE
QUANTUM NP IS HARD FOR PH 241 S. FENNER, F. GREEN, S. HOMER, R. PRUIM
DOWNWARD COLLAPSE FROM A WEAKER HYPOTHESIS 253 E. HEMASPAANDRA, L. A.
HEMASPAANDRA, H. HEMPEL ON THE POLYNOMIAL REPRESENTATION OF BOOLEAN
FUNCTIONS OVER GF(2) . . . 265 A. BERNASCONI SPECTRAL TECHNIQUES FOR
DEPTH-3 THRESHOLD CIRCUITS 277 G. CATTANEO, A. LEPORATI, G. MAURI NEW
CONSTRUCTIONS FOR VISUAL CRYPTOGRAPHY 290 C. BLUNDO, A. DE BONIS
LANGUAGES FOR DESCRIPTION AND ANALYSIS OF AUTHENTICATION PROTOCOLS . . .
304 F. MARTINELLI USING ENTITY LOCATIONS FOR THE ANALYSIS OF
AUTHENTICATION PROTOCOLS . . . 316 R. FOCARDI ANALYSIS OF NORMAL LOGIC
PROGRAMS 328 F. FAGES, R. GORI AN EXPERIMENT IN DOMAIN REFINEMENT: TYPE
DOMAINS AND TYPE REPRE- SENTATIONS FOR LOGIC PROGRAMS 331 F. SPOTO
CALL-CORRECT SPECIALISATION OF LOGIC PROGRAMS 335 A. BOSSI, S. ROSSI
FACTORIZING CODES AND KRASNER FACTORIZATIONS 347 C. DE FELICE, R. ZIZZA
TRANSITION DIAGRAM SYSTEM AND NORMAL FORM ALGORITHMS 359 D. GIAMMARRESI,
D. WOOD ON THE EXTENSION OF FINE AND WILF'S PERIODICITY THEOREM TO
LINEAR AUTOMATA 371 G. MELIDEO, C. PASQUARELLI, S. VARRICCHIO AUTHOR
INDEX 384 |
| any_adam_object | 1 |
| author_GND | (DE-588)115394869 |
| author_corporate | Italian Conference on Theoretical Computer Science Prato |
| author_corporate_role | aut |
| author_facet | Italian Conference on Theoretical Computer Science Prato |
| author_sort | Italian Conference on Theoretical Computer Science Prato |
| building | Verbundindex |
| bvnumber | BV012757639 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.5 |
| callnumber-search | QA76.5 |
| callnumber-sort | QA 276.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1998 |
| ctrlnum | (OCoLC)41182941 (DE-599)BVBBV012757639 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding 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">BV012757639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19991216</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">990910s1998 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9810236557</subfield><subfield code="9">981-02-3655-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41182941</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012757639</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-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">21</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Italian Conference on Theoretical Computer Science</subfield><subfield code="n">6</subfield><subfield code="d">1998</subfield><subfield code="c">Prato</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1243652-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sixth Italian Conference on Theoretical Computer Science</subfield><subfield code="b">Prato, Italy, November 9 - 11, 1998</subfield><subfield code="c">eds. Pierpaolo Degano ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Theoretical computer science</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore [u.a.]</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 384 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=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</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="700" ind1="1" ind2=" "><subfield code="a">Degano, Pierpaolo</subfield><subfield code="d">1950-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115394869</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=008674394&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008674394</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012757639 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T17:06:23Z |
| institution | BVB |
| institution_GND | (DE-588)1243652-5 |
| isbn | 9810236557 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008674394 |
| oclc_num | 41182941 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | IX, 384 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Italian Conference on Theoretical Computer Science 6 1998 Prato Verfasser (DE-588)1243652-5 aut Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November 9 - 11, 1998 eds. Pierpaolo Degano ... Theoretical computer science Singapore [u.a.] World Scientific 1998 IX, 384 S. txt rdacontent n rdamedia nc rdacarrier Informatik Computer science Congresses (DE-588)1071861417 Konferenzschrift gnd-content Degano, Pierpaolo 1950- Sonstige (DE-588)115394869 oth GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008674394&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November 9 - 11, 1998 Informatik Computer science Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November 9 - 11, 1998 |
| title_alt | Theoretical computer science |
| title_auth | Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November 9 - 11, 1998 |
| title_exact_search | Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November 9 - 11, 1998 |
| title_full | Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November 9 - 11, 1998 eds. Pierpaolo Degano ... |
| title_fullStr | Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November 9 - 11, 1998 eds. Pierpaolo Degano ... |
| title_full_unstemmed | Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November 9 - 11, 1998 eds. Pierpaolo Degano ... |
| title_short | Sixth Italian Conference on Theoretical Computer Science |
| title_sort | sixth italian conference on theoretical computer science prato italy november 9 11 1998 |
| title_sub | Prato, Italy, November 9 - 11, 1998 |
| topic | Informatik Computer science Congresses |
| topic_facet | Informatik Computer science Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008674394&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT italianconferenceontheoreticalcomputerscienceprato sixthitalianconferenceontheoreticalcomputersciencepratoitalynovember9111998 AT deganopierpaolo sixthitalianconferenceontheoreticalcomputersciencepratoitalynovember9111998 AT italianconferenceontheoreticalcomputerscienceprato theoreticalcomputerscience AT deganopierpaolo theoreticalcomputerscience |