Computer science logic: 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1993
|
| Schriftenreihe: | Lecture notes in computer science
702 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | VIII, 439 S. graph. Darst. |
| ISBN: | 3540569928 0387569928 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008309050 | ||
| 003 | DE-604 | ||
| 005 | 19940324 | ||
| 007 | t| | ||
| 008 | 931018s1993 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 931511984 |2 DE-101 | |
| 020 | |a 3540569928 |9 3-540-56992-8 | ||
| 020 | |a 0387569928 |9 0-387-56992-8 | ||
| 035 | |a (OCoLC)246326782 | ||
| 035 | |a (DE-599)BVBBV008309050 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-20 |a DE-19 |a DE-634 |a DE-83 |a DE-188 |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA75.5.W624 1992 | |
| 082 | 0 | |a 004/.01/5113 20 | |
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Computer science logic |b 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers |c E. Börger ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1993 | |
| 300 | |a VIII, 439 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 702 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science -- Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical -- Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z San Miniato |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Börger, Egon |e Sonstige |4 oth | |
| 711 | 2 | |a CSL |n 6 |d 1992 |c San Miniato |j Sonstige |0 (DE-588)2132057-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 702 |w (DE-604)BV000000607 |9 702 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005489038&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005489038 | |
Datensatz im Suchindex
| _version_ | 1820868126675304448 |
|---|---|
| adam_text |
TABLE OF CONTENTS
A UNIVERSAL TURING MACHINE
STAL AANDERAA . 1
RECURSIVE INSEPARABILITY IN LINEAR LOGIC
STAL AANDERAA AND HERMAN RUGE JERVELL. 5
THE BASIC LOGIC OF PROOFS
SERGEI ARTEMOV AND TYKO SIRAFIEN. 14
ALGORITHMIC STRUCTURING OF CUT-FREE PROOFS
MATTHIAS BAAZ AND RICHARD ZACH. 29
OPTIMIZATION PROBLEMS: EXPRESSIBILITY, APPROXIMATION PROPER
TIES AND EXPECTED ASYMPTOTIC GROWTH OF OPTIMAL SOLUTIONS
THOMAS BEHRENDT, KEVIN COMPTON AND ERICH GRADEL. 43
LINEAR A-CALCULUS AND CATEGORICAL MODELS REVISITED
NICK BENTON, GAVIN BIERMAN, VALERIA DE PAIVA AND MARTIN HYLAND . 61
A SELF-INTERPRETER OF LAMBDA CALCULUS HAVING A NORMAL FORM
ALESSANDRO BERARDUCCI AND CORRADO BOHM. 85
AN "EHRENFEUCHT-FRAISSE GAME" FOR FIXPOINT LOGIC AND STRATI
FIED FIXPOINT LOGIC
UWE BOSSE.100
THE CLASS OF PROBLEMS THAT ARE LINEARLY EQUIVALENT TO SATISFIA
BILITY, OR A UNIFORM METHOD FOR PROVING NP-COMPIETENESS
NADIA CREIGNOU .115
MODEL BUILDING BY RESOLUTION
CHRISTIAN G. FERMULLER AND ALEXANDER LEITSCH.134
COMPARATIVE IVANSITION SYSTEM SEMANTICS
TIM FERNANDO.149
REASONING WITH HIGHER ORDER PARTIAL FUNCTIONS
ANTONIO GAVILANES-FRANCO, FRANCISCA LUCIO-CARRASCO AND
MARIO RODRIGUEZ-ARTALEJO.167
COMMUNICATING EVOLVING ALGEBRAS
PAOLA GLAVAN AND DEAN ROSENZWEIG.182
ON THE COMPLETENESS OF NARROWING AS THE OPERATIONAL SEMANTICS
OF FUNCTIONAL LOGIC PROGRAMMING
JUAN CARLOS GONZALEZ-MORENO, MARIA TERESA HORTALA-GONZDLEZ AND
MARIO RODRIGUEZ-ARTALEJO.216
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/931511984
VIII
INDUCTIVE DEFINABILITY WITH COUNTING ON FINITE STRUCTURES
ERICH GRDDEL AND MARLIN OLIO.231
LINEAR TIME ALGORITHMS AND NP-COMPLETE PROBLEMS
ETIENNE GRANDJEAN.248
THE SEMANTICS OF THE C PROGRAMMING LANGUAGE
YURI GUREVICH AND JAMES K. HUGGINS.274
A THEORY OF CLASSES FOR A FUNCTIONAL LANGUAGE WITH EFFECTS
FURIO HONS ELL, IAN A. MASON, SCOTT SMITH AND CAROLYN TALCOTT . 309
LOGICAL DEFINABILITY OF NP-OPTIMIZATION PROBLEMS WITH MONADIC
AUXILIARY PREDICATES
CLEMENS LAUTEMANN.
327
UNIVERSES IN THE THEORIES OF TYPES AND NAMES
MARKUS MARZETTA.340
NOTES ON SCONING AND RELATORS
JOHN C. MITCHELL AND ANDRE SCEDROV.
352
SOLVING 3-SATISFIABILITY IN LESS THAN 1,579" STEPS
INGO SCHIERMEYER .379
KLEENE'S SLASH AND EXISTENCE OF VALUES OF OPEN TERMS IN TYPE
THEORY
JAN M. SMITH.395
NEGATION-COMPLETE LOGIC PROGRAMS
ROBERT F. STARK.493
LOGICAL CHARACTERIZATIONS OF BOUNDED QUERY CLASSES II: POLYNO
MIAL-TIME ORACLE MACHINES
IAIN A. STEWART.
ON ASYMPTOTIC PROBABILITIES OF MONADIC SECOND ORDER PROPERTIES
JERZY TYSZKIEWICZ .425 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV008309050 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5.W624 1992 |
| callnumber-search | QA75.5.W624 1992 |
| callnumber-sort | QA 275.5 W624 41992 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1992 SS 4800 |
| classification_tum | DAT 706f DAT 540f |
| ctrlnum | (OCoLC)246326782 (DE-599)BVBBV008309050 |
| dewey-full | 004/.01/511320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/5113 20 |
| dewey-search | 004/.01/5113 20 |
| dewey-sort | 14 11 45113 220 |
| 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 cb4500</leader><controlfield tag="001">BV008309050</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940324</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">931018s1993 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">931511984</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540569928</subfield><subfield code="9">3-540-56992-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387569928</subfield><subfield code="9">0-387-56992-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246326782</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008309050</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5.W624 1992</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/5113 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer science logic</subfield><subfield code="b">6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers</subfield><subfield code="c">E. Börger ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 439 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">Lecture notes in computer science</subfield><subfield code="v">702</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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 -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">1992</subfield><subfield code="z">San Miniato</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Börger, Egon</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">6</subfield><subfield code="d">1992</subfield><subfield code="c">San Miniato</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2132057-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">702</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">702</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=005489038&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-005489038</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 San Miniato gnd-content |
| genre_facet | Konferenzschrift 1992 San Miniato |
| id | DE-604.BV008309050 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:25Z |
| institution | BVB |
| institution_GND | (DE-588)2132057-3 |
| isbn | 3540569928 0387569928 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005489038 |
| oclc_num | 246326782 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-11 DE-706 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-11 DE-706 |
| physical | VIII, 439 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers E. Börger ... (eds.) Berlin u.a. Springer 1993 VIII, 439 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 702 Literaturangaben Informatik Computer science -- Congresses Logic, Symbolic and mathematical -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 San Miniato gnd-content Informatik (DE-588)4026894-9 s Logik (DE-588)4036202-4 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Börger, Egon Sonstige oth CSL 6 1992 San Miniato Sonstige (DE-588)2132057-3 oth Lecture notes in computer science 702 (DE-604)BV000000607 702 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005489038&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers Lecture notes in computer science Informatik Computer science -- Congresses Logic, Symbolic and mathematical -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers |
| title_auth | Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers |
| title_exact_search | Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers |
| title_full | Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers E. Börger ... (eds.) |
| title_fullStr | Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers E. Börger ... (eds.) |
| title_full_unstemmed | Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers E. Börger ... (eds.) |
| title_short | Computer science logic |
| title_sort | computer science logic 6th workshop csl 92 san miniato italy september 28 october 2 1992 selected papers |
| title_sub | 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 ; selected papers |
| topic | Informatik Computer science -- Congresses Logic, Symbolic and mathematical -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatik Computer science -- Congresses Logic, Symbolic and mathematical -- Congresses Theoretische Informatik Logik Konferenzschrift 1992 San Miniato |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005489038&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT borgeregon computersciencelogic6thworkshopcsl92sanminiatoitalyseptember28october21992selectedpapers AT cslsanminiato computersciencelogic6thworkshopcsl92sanminiatoitalyseptember28october21992selectedpapers |