Eighth annual IEEE Symposium on Logic in Computer Science: June 19-23, 1993 ; Montreal, Canada ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif.
IEEE Computer Soc. Pr.
1993
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 434 S. |
| ISBN: | 0818631406 0818631422 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008218756 | ||
| 003 | DE-604 | ||
| 005 | 20080801 | ||
| 007 | t| | ||
| 008 | 930920s1993 xx |||| 10||| eng d | ||
| 020 | |a 0818631406 |9 0-8186-3140-6 | ||
| 020 | |a 0818631422 |9 0-8186-3142-2 | ||
| 035 | |a (OCoLC)28602328 | ||
| 035 | |a (DE-599)BVBBV008218756 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 | ||
| 050 | 0 | |a QA75.5 | |
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 111 | 2 | |a Symposium on Logic in Computer Science |n 8 |d 1993 |c Montréal |j Verfasser |0 (DE-588)5093552-5 |4 aut | |
| 245 | 1 | 0 | |a Eighth annual IEEE Symposium on Logic in Computer Science |b June 19-23, 1993 ; Montreal, Canada ; proceedings |
| 246 | 1 | 3 | |a Logic in computer science |
| 264 | 1 | |a Los Alamitos, Calif. |b IEEE Computer Soc. Pr. |c 1993 | |
| 300 | |a XII, 434 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 650 | 7 | |a base donnée |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a théorie modèle |2 inriac | |
| 650 | 7 | |a type abstrait |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |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 1993 |z Montréal |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005425551&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005425551 | |
Datensatz im Suchindex
| _version_ | 1820868050855919616 |
|---|---|
| adam_text |
Table
of Contents
Foreword
.
v
Preface
.vi
Conference Organization
.
vii
External Reviewers
.viii
Tutorial
Chair: R. Constable
Bisimulation and Co-Induction
.2
A.M. Pitts
Session
1:
Types
Chair: M.
Abadi
The Genericity Theorem and the Notion of Parametricity in the Polymorphic X-Calculus
.6
G.
Longo,
К.
Milsted, and S. Soloviev
Standard ML-NJ Weak Polymorphism and Imperative Constructs
.15
M. Hoang, J. Mitchell, and R. Viswanathan
A Lambda Calculus of Objects and Method Specialization
.26
J.C. Mitchell, F. Honsell, and K. Fisher
Strong Normalization for Second Order Classical Natural Deduction
.39
M. Parigot
Session
2:
Deduction
Chair:
N.
Shankar
Automated Production of Traditional Proofs for Constructive Geometry Theorems
.48
S.-C.
Chou, X.-S.
Gao,
and
J.-Z.
Zhang
On the Unification Problem for Cartesian Closed Categories
.57
P. Narendran, F. Pfenning, and R.
Statman
Functional Unification of Higher Order Patterns
.64
T. Nipkow
Set Constraints Are the Monadic Class
.75
L. Bachmair, H.
Ganzinger,
and U.
Waldmann
Session
3:
Semantics
Chair: P.J. Freyd
Relational Properties of Recursively Defined Domains
.86
A.M. Pitts
Ftill Abstraction for a Shared Variable Parallel Language
.98
S. Brookes
A Coinduction Principle for Recursive Data Types Based on Bisimulation
.110
M.P.
Fiore
IX
Tutorial
Chair: Y.
Moschovakis
Finite-Model Theory
.122
P.
G. Kolaitis
Session
4:
Modal and Temporal Logics
Chair: M.Y.
У
ardi
In and Out of Temporal Logic
.124
A. Pnueli and L.
Zuck
On Completeness of the ¿¿-Calculus
.136
I. Walukiewicz
On Model Checking for Real-Time Properties with Durations
.147
A. Bouajjani, R. Echahed, and J. Sifakis
Verifying Programs with Unreliable Channels
.160
P. Abdulla and
B. Jonsson
Session
5:
Finite-Model Theory
Chair: P.G. Kolaitis
у
=
2x vs.
у
=
3x
.172
D. Niwinski and A. Stolboushkin
Monadic Second-Order Logic and Hypergraph Orientation
.179
B. Courcelle
Infinitary Logics and Very Sparse Random Graphs
.191
J.F. Lynch
Asymptotic Probabilities of Languages with Generalized Quantifiers
.199
G. Fayolle, S. Grumbach, and
С. Топи
Session
6:
Logic Programming
Chair: D. Miller
Compositional Analysis for Concurrent Constraint Programming
.210
M.
Falaschi,
M.
Gabbrielli,
К.
Marriott, and C. Palamidessi
Rules of Definitional Reflection
.222
P. Schroeder-Heister
Encoding the Calculus of Constructions in a Higher Order Logic
.233
A. Felty
Evening Lecture
Chair: M. Okada
Programs, Grammars, and Arguments: A Personal View of Some
Connections between Computation, Language, and Logic
.246
J. Lambek
Invited Talk
Chair: P. Panangaden
Imperfect Information Flow
.252
J. Barwise and J. Seligman
Session
7:
Lambda Calculus
Chair: S. Abramsky
A Typed Pattern Calculus
.262
V.
Breazu-Tannen,
D.
Kesner, and
L.
Fuel
Non-Determinism in a Functional Setting
.275
C.-H.L. Ong
Adequacy for Untyped Translations of Typed
λ
-Calculi
.
287
W. Phoa
Local and Asynchronous Beta-Reduction
.296
V.
Danos
and L.
Régnier
Session
8:
Complexity and Databases
Chair: P. Clote
An Exponential Separation between the Matching Principle
and the Pigeonhole Principle
.308
P.
Bearne
and T. Pitassi
Some Desirable Conditions for Feasible Functionals of Type
2.320
A. Seth
Database Query Languages Embedded in the Typed Lambda Calculus
.332
G.G.
Hillebrand,
P.C.
Kanellakis, andH.G. Mairson
Homomorphic Tree Embeddings and Their Applications
to Recursive Program Optimization
.344
L.V.S. Lakshmanan, K. Ashraf, and J. Han
Session
9:
Rewriting
Chair: P.
Lesearme
The Order Types of Termination
Orderings
on Monadic Terms, Strings, and Multisets
.356
U. Martin and E. Scott
The Unifiability Problem in Ground AC Theories
.364
P. Narendran and M. Rusinowitch
Lambek Grammars are Context Free
.371
M. Pentus
Invited Talk
Chair: M.
Abadi
Type Theory and Recursion
.374
G.D. Plotkin
Xl
Session 10:
Concurrency
Chair:
В.
Bloom
Typing and Subtyping for Mobile Processes
.376
B. Pierce and D. Sangiorgi
Decomposability, Decidability, and Axiomatisability for Bisimulation Equivalence
on Basic Parallel Processes
.386
S. Christensen, Y. Hirshfeld, and
F. Möller
A Fully Abstract Denotational Model for Higher Order Processes
.397
M. Hennessy
Self-Synchronization of Concurrent Processes
.409
L. Jategaonkar and A.R. Meyer
Bisimulation and Open Maps
.418
A. Joyal, M. Nielsen, and G. Winskel
Addendum
.428
Author Index
.434
xii |
| any_adam_object | 1 |
| author_corporate | Symposium on Logic in Computer Science Montréal |
| author_corporate_role | aut |
| author_facet | Symposium on Logic in Computer Science Montréal |
| author_sort | Symposium on Logic in Computer Science Montréal |
| building | Verbundindex |
| bvnumber | BV008218756 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5 |
| callnumber-search | QA75.5 |
| callnumber-sort | QA 275.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1993 |
| classification_tum | MAT 030f DAT 555f DAT 540f |
| ctrlnum | (OCoLC)28602328 (DE-599)BVBBV008218756 |
| discipline | Informatik Mathematik |
| 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">BV008218756</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080801</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930920s1993 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818631406</subfield><subfield code="9">0-8186-3140-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818631422</subfield><subfield code="9">0-8186-3142-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28602328</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008218756</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</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="111" ind1="2" ind2=" "><subfield code="a">Symposium on Logic in Computer Science</subfield><subfield code="n">8</subfield><subfield code="d">1993</subfield><subfield code="c">Montréal</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5093552-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Eighth annual IEEE Symposium on Logic in Computer Science</subfield><subfield code="b">June 19-23, 1993 ; Montreal, Canada ; proceedings</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Logic in computer science</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif.</subfield><subfield code="b">IEEE Computer Soc. Pr.</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 434 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="7"><subfield code="a">Logique symbolique et mathématique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique modale</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie modèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">type abstrait</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">1993</subfield><subfield code="z">Montréal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=005425551&sequence=000002&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-005425551</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Montréal gnd-content |
| genre_facet | Konferenzschrift 1993 Montréal |
| id | DE-604.BV008218756 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:18:12Z |
| institution | BVB |
| institution_GND | (DE-588)5093552-5 |
| isbn | 0818631406 0818631422 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005425551 |
| oclc_num | 28602328 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| physical | XII, 434 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | IEEE Computer Soc. Pr. |
| record_format | marc |
| spelling | Symposium on Logic in Computer Science 8 1993 Montréal Verfasser (DE-588)5093552-5 aut Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings Logic in computer science Los Alamitos, Calif. IEEE Computer Soc. Pr. 1993 XII, 434 S. txt rdacontent n rdamedia nc rdacarrier Logique symbolique et mathématique - Congrès ram base donnée inriac complexité inriac concurrence inriac déduction automatique inriac lambda calcul inriac logique modale inriac logique temporelle inriac programmation en logique inriac réécriture inriac sémantique inriac théorie modèle inriac type abstrait inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Montréal gnd-content Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005425551&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings Logique symbolique et mathématique - Congrès ram base donnée inriac complexité inriac concurrence inriac déduction automatique inriac lambda calcul inriac logique modale inriac logique temporelle inriac programmation en logique inriac réécriture inriac sémantique inriac théorie modèle inriac type abstrait inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings |
| title_alt | Logic in computer science |
| title_auth | Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings |
| title_exact_search | Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings |
| title_full | Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings |
| title_fullStr | Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings |
| title_full_unstemmed | Eighth annual IEEE Symposium on Logic in Computer Science June 19-23, 1993 ; Montreal, Canada ; proceedings |
| title_short | Eighth annual IEEE Symposium on Logic in Computer Science |
| title_sort | eighth annual ieee symposium on logic in computer science june 19 23 1993 montreal canada proceedings |
| title_sub | June 19-23, 1993 ; Montreal, Canada ; proceedings |
| topic | Logique symbolique et mathématique - Congrès ram base donnée inriac complexité inriac concurrence inriac déduction automatique inriac lambda calcul inriac logique modale inriac logique temporelle inriac programmation en logique inriac réécriture inriac sémantique inriac théorie modèle inriac type abstrait inriac Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Logique symbolique et mathématique - Congrès base donnée complexité concurrence déduction automatique lambda calcul logique modale logique temporelle programmation en logique réécriture sémantique théorie modèle type abstrait Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik Konferenzschrift 1993 Montréal |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005425551&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonlogicincomputersciencemontreal eighthannualieeesymposiumonlogicincomputersciencejune19231993montrealcanadaproceedings AT symposiumonlogicincomputersciencemontreal logicincomputerscience |