Proceedings: June 4 - 7, 1990, Philadelphia, PA
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. [u.a.]
IEEE Computer Soc. Press
1990
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XVI, 509 S. graph. Darst. |
| ISBN: | 0818620730 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008184221 | ||
| 003 | DE-604 | ||
| 005 | 20150112 | ||
| 007 | t| | ||
| 008 | 930824s1990 xx d||| |||| 10||| eng d | ||
| 020 | |a 0818620730 |9 0-8186-2073-0 | ||
| 035 | |a (OCoLC)22692968 | ||
| 035 | |a (DE-599)BVBBV008184221 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 005.131 | |
| 084 | |a SD 1990 |0 (DE-625)142724: |2 rvk | ||
| 084 | |a DAT 450f |2 stub | ||
| 111 | 2 | |a Symposium on Logic in Computer Science |n 5 |d 1990 |c Philadelphia, Pa. |j Verfasser |0 (DE-588)5049600-1 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b June 4 - 7, 1990, Philadelphia, PA |c Fifth annual IEEE Symposium on Logic in Computer Science |
| 246 | 1 | 3 | |a Logic in computer science |
| 264 | 1 | |a Los Alamitos, Calif. [u.a.] |b IEEE Computer Soc. Press |c 1990 | |
| 300 | |a XVI, 509 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Logique symbolique et mathématique - Congrès |2 ram | |
| 650 | 7 | |a calcul combinatoire |2 inriac | |
| 650 | 7 | |a complexité calcul |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique informatique |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique programme |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a mathématique constructive |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a spécification logiciel |2 inriac | |
| 650 | 7 | |a théorie base donnée |2 inriac | |
| 650 | 7 | |a théorie modèle |2 inriac | |
| 650 | 7 | |a type abstrait |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 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 1990 |z Philadelphia Pa. |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=005401335&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-005401335 | |
Datensatz im Suchindex
| _version_ | 1820868157700571136 |
|---|---|
| adam_text |
Table of Contents
Preface
.
v
Additional Reviewers
.
vü
LICS Organization
.ix
Foreword
.xi
Sessioni
Chair: J. Mitchell
Type Reconstruction in Finite-Rank Fragments of the Polymorphic
λ
-Calculus
.
2
AJ. Kfoury and J. Tiuryn
Polymorphism, Set Theory, and Call-by-Value
.12
E. Robinson and G. Rosolini
Universal Domains in the Theory of Denotational Semantics of Programming Languages
.19
M.
Droste
and
R.
Göbel
The Classification of Continuous Domains
.35
A. Jung
Session
2
Chair: K.Apt
A Decision Procedure for a Class of Set Constraints
.42
N.
Heintze andJ. Jaffar
A Constraint Sequent Calculus
.52
J.-L.
Lassez
and K. McAloon
Solving Inequations in Term Algebras
.62
H. Comon
Session
3
Chair: J.Barwise
The Dynamic Logic of Permission
.,72
R. van
der Meyden
A Theory of Nonmonotonic Rule Systems
.79
W.
Marek,
A. Nerode,
and J.
Rémmel
The Semantics of Reflected Proof
. .95
Sľ.
Allen, RL. Constable,
DJ.
Howe, and WE. Aitken
Session
4
Chair: G. Winskel
Equation Solving Using Modal Transition Systems
.108
K.
harsen
and L. Xinnn
Three Logics for Branching Bisimulation
.118
R. De
Nicola and
F. Vaandrager
Reactive, Generative, and Stratified Models of Probabilistic Processes
.130
R. van Glabbeek,
SA.
Šmolka,
В.
Steffen, and
СМИ.
Tofts
The Nonexistence of Finite Axiomatisations for CCS Congruences
.142
F. Möller
Session 5
Chair: S.
Cook
0-1
Laws for Infmitary Logics
.156
P. G. Kolaitis andM.Y. Vardi
Implicit Definability on Finite Structures and Unambiguous Computations
.168
P.G. Kolaitis
ALOGTIME and a Conjecture of
S.A.
Cook
.181
P. Clote
On the Expression of Monadic Second-Order Graph Properties
Without Quantifications Over Sets of Edges
.190
B. Courcelle
Session
6 -
Special Session on Automated Deduction
Chair:
M. S
ticket
Searching for Fixed-Point
Combinatore
with the Kernel Method
W. McCune
Theorem Proving with Ordered Equations
N.
Dershowitz
Automated Reasoning in Geometry Using Algebraic Methods
S.-Ch.
Chou
Session
7
Chair: U.
Montanari
Normal Process Representatives
.200
V. Gehlot and
С
Gunter
A Categorical Linear Framework for
Petri
Nets
.208
C. Brown andD.
Gurr
A Linear Semantics for Allowed Logic Programs
.219
S. Cerrito
Sessione
Chair: J.-P. Jouannaud
Programming in Equational Logic: Beyond Strong Sequentiality
.230
R.C. Sekar and
I.V.
Ramakrishnan
The Theory of Ground Rewrite Systems is Decidable
.242
M. Dauchet and S. Ttion
Well Rewrite
Orderings
.249
P. Lescanne
A Constructive Proof of Higman's Lemma
.257
С
Jř.
MurthyandJJR. Russell
Session
9
Chair: J.
Gallier
Syntactic Theories and Unification
.270
С
Kirchner
and
F. Klay
Proof Transformations for Equational Theories
.278
T. Nipkow
A New AC Unification Algorithm with an Algorithm for Solving
Systems of Diophantine Equations
.289
A. Boudet, E. Contejean, and H.
Devie
On Subsumption and Semiunification in Feature Algebras
.300
/. Dörre
and W.C. Rounds
Session
10
Chair: S.Hayashi
Completeness for Typed Lazy Inequalities
.312
S.S.
Cosmadakis
апаАЯ.
Meyer
Conditional Lambda-Theories and the Verification of Static Properties of Programs
.321
M. Wand and Z.-Y. Wang
Single-Threaded Polymorphic Lambda Calculus
.333
J.C. Guzman and P. Hudak
Session
11
Chair: A. Scedrov
Extensional PERs
.346
P. Freyd, P. Mulry, G. Rosolini, andD. Scott
A Per Model of Polymorphism and Recursive Types
.355
M.
Abadi
and
GB.
Plotkin
Effective Domains and Intrinsic Structure
.366
W.Phoa
Session
12
Chair: E. Clarke
A Logic of Concrete Time Intervals
.380
HM. Lewis
Real-Time Logics: Complexity and Expressiveness
.390
R.Alur and
TA. Henzinger
Explicit Clock Temporal Logic
.,402
E.
Harel, O. Lichtenstein,
and A. Pnueli
Model-Checking for
Real-Time
Systems
.414
R. Alur,
С
Courcoubetis, andD. Dill
Session
13
Chair:
Ρ
.
KanellakL·
Symbolic Model Checking: 1020 States and Beyond
.428
ІЯ.
Burch, EM. Clarke, KJL. McMillan,
DL. Dill, andLJ. Hwang
When Is "Partial" Adequate? A Logic-Based Proof Technique Using
Partial Specifications
.440
R. CleavelandandB.
Steffen
Modelling Shared State in a Shared Action Model
.450
KJ. Goldman andNA. Lynch
On the Limits of Efficient Temporal Decidability
.464
E
A. Emerson, M. Evangelist, andJ. Srinivasan
xv
Session 14
Char: D.Leivant
On the
Power
of Bounded Concurrency
Ш:
Reasoning About Programs
.478
D.
Harel,
R.
Rosner,
and
M.
Varai
New
Foundations for
Fixpoint
Computations
.489
RL.
Croie
and AM. Pitts
Recursive Types Reduced to Inductive Types
.498
P. Freyd
Author Index
.509 |
| any_adam_object | 1 |
| author_corporate | Symposium on Logic in Computer Science Philadelphia, Pa |
| author_corporate_role | aut |
| author_facet | Symposium on Logic in Computer Science Philadelphia, Pa |
| author_sort | Symposium on Logic in Computer Science Philadelphia, Pa |
| building | Verbundindex |
| bvnumber | BV008184221 |
| 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 | SD 1990 |
| classification_tum | DAT 450f |
| ctrlnum | (OCoLC)22692968 (DE-599)BVBBV008184221 |
| 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">BV008184221</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150112</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930824s1990 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818620730</subfield><subfield code="9">0-8186-2073-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22692968</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008184221</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1990</subfield><subfield code="0">(DE-625)142724:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 450f</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">5</subfield><subfield code="d">1990</subfield><subfield code="c">Philadelphia, Pa.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5049600-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">June 4 - 7, 1990, Philadelphia, PA</subfield><subfield code="c">Fifth annual IEEE Symposium on Logic in Computer Science</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. [u.a.]</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 509 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="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">calcul combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité calcul</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">intelligence artificielle</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 informatique</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 programme</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">mathématique constructive</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">représentation connaissance</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">spécification logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie base donnée</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="7"><subfield code="a">vérification</subfield><subfield code="2">inriac</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">1990</subfield><subfield code="z">Philadelphia Pa.</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=005401335&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-005401335</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1990 Philadelphia Pa. gnd-content |
| genre_facet | Konferenzschrift 1990 Philadelphia Pa. |
| id | DE-604.BV008184221 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:54Z |
| institution | BVB |
| institution_GND | (DE-588)5049600-1 |
| isbn | 0818620730 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005401335 |
| oclc_num | 22692968 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 |
| physical | XVI, 509 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | Symposium on Logic in Computer Science 5 1990 Philadelphia, Pa. Verfasser (DE-588)5049600-1 aut Proceedings June 4 - 7, 1990, Philadelphia, PA Fifth annual IEEE Symposium on Logic in Computer Science Logic in computer science Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Press 1990 XVI, 509 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Logique symbolique et mathématique - Congrès ram calcul combinatoire inriac complexité calcul inriac concurrence inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique informatique inriac logique modale inriac logique programme inriac logique temporelle inriac mathématique constructive inriac programmation en logique inriac représentation connaissance inriac réécriture inriac spécification logiciel inriac théorie base donnée inriac théorie modèle inriac type abstrait inriac vérification inriac 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 1990 Philadelphia Pa. 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=005401335&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 June 4 - 7, 1990, Philadelphia, PA Logique symbolique et mathématique - Congrès ram calcul combinatoire inriac complexité calcul inriac concurrence inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique informatique inriac logique modale inriac logique programme inriac logique temporelle inriac mathématique constructive inriac programmation en logique inriac représentation connaissance inriac réécriture inriac spécification logiciel inriac théorie base donnée inriac théorie modèle inriac type abstrait inriac vérification inriac 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 June 4 - 7, 1990, Philadelphia, PA |
| title_alt | Logic in computer science |
| title_auth | Proceedings June 4 - 7, 1990, Philadelphia, PA |
| title_exact_search | Proceedings June 4 - 7, 1990, Philadelphia, PA |
| title_full | Proceedings June 4 - 7, 1990, Philadelphia, PA Fifth annual IEEE Symposium on Logic in Computer Science |
| title_fullStr | Proceedings June 4 - 7, 1990, Philadelphia, PA Fifth annual IEEE Symposium on Logic in Computer Science |
| title_full_unstemmed | Proceedings June 4 - 7, 1990, Philadelphia, PA Fifth annual IEEE Symposium on Logic in Computer Science |
| title_short | Proceedings |
| title_sort | proceedings june 4 7 1990 philadelphia pa |
| title_sub | June 4 - 7, 1990, Philadelphia, PA |
| topic | Logique symbolique et mathématique - Congrès ram calcul combinatoire inriac complexité calcul inriac concurrence inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique informatique inriac logique modale inriac logique programme inriac logique temporelle inriac mathématique constructive inriac programmation en logique inriac représentation connaissance inriac réécriture inriac spécification logiciel inriac théorie base donnée inriac théorie modèle inriac type abstrait inriac vérification inriac 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 | Logique symbolique et mathématique - Congrès calcul combinatoire complexité calcul concurrence déduction automatique intelligence artificielle lambda calcul logique informatique logique modale logique programme logique temporelle mathématique constructive programmation en logique représentation connaissance réécriture spécification logiciel théorie base donnée théorie modèle type abstrait vérification Datenverarbeitung Computer programming Congresses Electronic data processing Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik Datennetz Logik Informatik Telekommunikationsnetz Konferenzschrift 1990 Philadelphia Pa. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005401335&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonlogicincomputersciencephiladelphiapa proceedingsjune471990philadelphiapa AT symposiumonlogicincomputersciencephiladelphiapa logicincomputerscience |