Proceedings:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Press
1991
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XVII, 417 S. graph. Darst. |
| ISBN: | 081862230X 0818622318 0818622326 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005942846 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 930118s1991 xx d||| |||| 10||| engod | ||
| 020 | |a 081862230X |9 0-8186-2230-X | ||
| 020 | |a 0818622318 |9 0-8186-2231-8 | ||
| 020 | |a 0818622326 |9 0-8186-2232-6 | ||
| 035 | |a (OCoLC)24583761 | ||
| 035 | |a (DE-599)BVBBV005942846 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-91G |a DE-739 |a DE-384 |a DE-83 |a DE-188 | ||
| 082 | 0 | |a 005.131 | |
| 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 6 |d 1991 |c Amsterdam |j Verfasser |0 (DE-588)5058313-X |4 aut | |
| 245 | 1 | 0 | |a Proceedings |c Sixth annual IEEE Symposium on Logic in Computer Science, July 15 - 18, 1991, Amsterdam, The Netherlands |
| 264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Press |c 1991 | |
| 300 | |a XVII, 417 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Electronic data processing |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 Datennetz |0 (DE-588)4011130-1 |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 |
| 650 | 0 | 7 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Amsterdam |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 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 689 | 3 | 0 | |a Datennetz |0 (DE-588)4011130-1 |D s |
| 689 | 3 | |8 3\p |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=003724329&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003724329 | |
Datensatz im Suchindex
| _version_ | 1820868103467171840 |
|---|---|
| adam_text |
Table of Contents
Foreword
.
vii
Preface
.ix
Additional Reviewers
.xi
Conference Organization
.xiii
Session
1
Chair: G.
Longo
A Foundational Delineation of Computational Feasibility
.2
D. Leivant
Toward a Semantics for the QUEST Language
.12
F.
Alessi
and F.
Barbanera
Term Declaration Logic and Generalised
Composita
.22
P. Aczel
Session
2
Chair: S.Abramsky
Logic Programming in a Fragment of Intuitionistic Linear Logic
.32
J.S. Hodas and D. Miller
Games Semantics for Linear Logic
.43
Y.
Laf
ont
and
T.
Streicher
Linearizing Intuitionistic Implication
.
SI
P. Lincoln, A. Scedrov, and
N.
Shankar
Some Results on the Interpretation of
λ
-calculus
in
Operator Algebras
.,63
P. Malacaria and L.
Régnier
Session
3
Chair: V. Breazu-Tannen
Unification and Anti-Unification in the Calculus of Constructions
.74
F. Pfenning
Partial Objects in the Calculus of Constructions
.86
P.Audebaud
An Evaluation Semantics for Classical Proofs
.96
СЯ.
Murthy
Session
4
Chair: B.
Steffen
A Theory of Testing for
Real-Time
.110
R.
Cleaveland and
A.E.
Zwarico
Complexity Bounds of Hoare-style Proof Systems
.120
H.
Hangar
Semantics of Pointers, Referencing and Dereferencing
With Intensional Logic
.127
H.-K. Hung andJJ.
Zucker
XV
Sessions
Chair: P.-L.
Curien
Sequentially and Strong Stability
.138
A. Bucciarelli and T. Ehrhard
Parallel
PCF
has a Unique Extensional Model
.146
A. Stoughton
The Fixed Point Property in Synthetic Domain Theory
.152
P. Taylor
Session
6
Chair: R. Constable
On Computational Open-Endedness in
Martin-Löf
s Type
Theory
.162
DJ.
Howe
Predicative Type Universes and Primitive Recursion
.173
NJ>.
Mendier
Session
7
Chair: S.
Ronchi Della Rocca
Freyďs
Hierarchy of Combinator Monoids
.186
R.Statman
Equational Programming in X-calculus
.191
E.
Tronei
An Inverse of the Evaluation Functional for Typed
λ
-calculus
.
203
U.
Berger
and
H.
Schwichtenberg
Sessione
Chair: S.Abiteboul
A Completeness Theorem for Kleene Algebras and the
Algebra of Regular Events
.214
D.
Kozen
On First Order Database Query Languages
.226
A. Avron andJ. Hirshfeld
Specifying and Proving Serializability in Temporal Logic
.232
D. Peled, S. Katz, and A. Pnueli
Session
9
Chair: J.Bergstra
CCS with Priority Choice
.246
J. Camilleri and G. Winskel
Rabin Measures and Their Applications to
Fairness and Automata Theory
.256
N.
Klarlund
and D.
Kozen
Specification and Refinement of Probabilistic Processes
.266
B. Jonsson
and K.G.
harsen
XVI
Session
10
Chair:
E.
Shapiro
On the
0-1
Law for the Class of Existential Second Order
Minimal
Godei
Sentences with Equality
.280
L. Pachohki and W. Szwast
On the Deduction Rule and the Number of Proof Lines
.286
ML·. Bonet and
ЅД.
Buss
Session
11
Chair: K.Apt
Logic Programs as Types for Logic Programs
.300
T. Friihwirth, E. Shapiro, M.Y. Vardi, andE.
Yardem
A First-Order Theory of Types and
Polymorphism in Logic Programming
.310
Μ. Κ
if
er
and
J
.
Wu
Prop revisited: Prepositional Formula as Abstract Domain
for Groundness Analysis
.322
A. Cortesi,
G.
Filé,
and
W.
Winsborough
Constructive Negation for Constraint Logic Programming
.328
P J.
Ѕшскеу
Session
12
Chair: M.Sato
Higher-Order Critical Pairs
.342
T. Nipkow
A Computation Model for Executable Higher-Order
Algebraic Specification Languages
.350
J.-P. Jouannaud and M. Okada
Defaults and Revision in Structured Theories
.362
M.Ryan
Session
13
Chair: U.Goltz
Actions Speak Louder than Words: Proving Bisimilarity for
Context-Free Processes
.376
H.
Hütteland
С.
Stirling
On the Relationship Between Process Algebra and
Input/Output Automata
.387
F.W.
Vaandrager
A Compositional Proof System for Dynamic Process Creation
.399
F. de Boer
A Partial Approach to Model Checking
.406
P. Godefroid and P. Wolper
Author Index
.417
XVII
Author Index
Aczel,
Ρ
.22
Alessi,
F
.12
Audebaud,
Ρ
.86
Avron, A
.226
Barbanera,
F
.12
Berger,
U
.203
Bonet, M.L
.286
Bucciarelli, A
.138
Buss, S.R
.286
Camilleri,
J
.246
Cleaveland.R
.110
Cortesi, A
.322
de
Boer,
F
.399
Ehrhard,
T
.138
Rlé, G
.322
Friihwirth,
T
.300
Godefroid,
P
.406
ffirshfeld,
J
.226
Hodas,
J.S
.32
Howe,
DJ.162
Hung, H.-K
.127
Hungar.H
.120
Hüttel,
H
.376
Jonsson, B
.266
Jouannaud, J.-P
.350
Katz,
S.
232
Kifér,
M
.310
öarlund,
N.256
Kozen,
D
.214
Kozen,
D
.256
Lafont,Y
.43
Larsen, K.G
.266
Leivant, D
.2
Lincoln, P
.51
Malacaria, P
.63
Mendier, N.P
.173
Miller, D
.32
Murthy, C.R
.96
Nipkow, T
.342
Okada, M
.350
Pacholski, L
.280
Peled.D
.232
Pfenning,
F
.74
Pnueli, A
.232
Régnier,
L
.63
Ryan,
M
.362
Scedrov, A
.51
Schwichtenberg, H
.203
Shankar.N
.51
Shapiro,
E
.300
Statman, R
.186
Stirling,
C
.376
Stoughton, A
.146
Streicher,
T
.43
Stuckey, P.J.328
Szwast, W
.280
Taylor, P.152
Tronei,
E
.191
Vaandrager,
F.W
.387
Vardi, M.Y
.300
Winsborough,
W.
322
Winskel,
G.
246
Wolper,
P
.406
Wu,J
.310
Yardeni, E
.300
Zucker,
J.I.
127
Zwarico, A.E.
ПО |
| any_adam_object | 1 |
| author_corporate | Symposium on Logic in Computer Science Amsterdam |
| author_corporate_role | aut |
| author_facet | Symposium on Logic in Computer Science Amsterdam |
| author_sort | Symposium on Logic in Computer Science Amsterdam |
| building | Verbundindex |
| bvnumber | BV005942846 |
| classification_rvk | SS 1991 |
| classification_tum | MAT 030f DAT 555f DAT 540f |
| ctrlnum | (OCoLC)24583761 (DE-599)BVBBV005942846 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| 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">BV005942846</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930118s1991 xx d||| |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">081862230X</subfield><subfield code="9">0-8186-2230-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818622318</subfield><subfield code="9">0-8186-2231-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818622326</subfield><subfield code="9">0-8186-2232-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24583761</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005942846</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-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</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">6</subfield><subfield code="d">1991</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5058313-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="c">Sixth annual IEEE Symposium on Logic in Computer Science, July 15 - 18, 1991, Amsterdam, The Netherlands</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 417 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</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">Datennetz</subfield><subfield code="0">(DE-588)4011130-1</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="650" ind1="0" ind2="7"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</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">1991</subfield><subfield code="z">Amsterdam</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="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Datennetz</subfield><subfield code="0">(DE-588)4011130-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><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=003724329&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003724329</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Amsterdam gnd-content |
| genre_facet | Konferenzschrift 1991 Amsterdam |
| id | DE-604.BV005942846 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:01Z |
| institution | BVB |
| institution_GND | (DE-588)5058313-X |
| isbn | 081862230X 0818622318 0818622326 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003724329 |
| oclc_num | 24583761 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-188 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-188 |
| physical | XVII, 417 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | Symposium on Logic in Computer Science 6 1991 Amsterdam Verfasser (DE-588)5058313-X aut Proceedings Sixth annual IEEE Symposium on Logic in Computer Science, July 15 - 18, 1991, Amsterdam, The Netherlands Los Alamitos, Calif. u.a. IEEE Computer Soc. Press 1991 XVII, 417 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Datenverarbeitung Computer programming Congresses Electronic data processing Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Datennetz (DE-588)4011130-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Telekommunikationsnetz (DE-588)4133586-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Amsterdam gnd-content Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s DE-604 Logik (DE-588)4036202-4 s 1\p DE-604 Telekommunikationsnetz (DE-588)4133586-7 s 2\p DE-604 Datennetz (DE-588)4011130-1 s 3\p DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003724329&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Proceedings Datenverarbeitung Computer programming Congresses Electronic data processing Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Datennetz (DE-588)4011130-1 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Telekommunikationsnetz (DE-588)4133586-7 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4011130-1 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)4133586-7 (DE-588)1071861417 |
| title | Proceedings |
| title_auth | Proceedings |
| title_exact_search | Proceedings |
| title_full | Proceedings Sixth annual IEEE Symposium on Logic in Computer Science, July 15 - 18, 1991, Amsterdam, The Netherlands |
| title_fullStr | Proceedings Sixth annual IEEE Symposium on Logic in Computer Science, July 15 - 18, 1991, Amsterdam, The Netherlands |
| title_full_unstemmed | Proceedings Sixth annual IEEE Symposium on Logic in Computer Science, July 15 - 18, 1991, Amsterdam, The Netherlands |
| title_short | Proceedings |
| title_sort | proceedings |
| topic | Datenverarbeitung Computer programming Congresses Electronic data processing Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik (DE-588)4037951-6 gnd Datennetz (DE-588)4011130-1 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Telekommunikationsnetz (DE-588)4133586-7 gnd |
| topic_facet | Datenverarbeitung Computer programming Congresses Electronic data processing Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik Datennetz Logik Informatik Telekommunikationsnetz Konferenzschrift 1991 Amsterdam |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003724329&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonlogicincomputerscienceamsterdam proceedings |