Symposium on Logic in Computer Science: LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Los Alamitos, Calif. [u.a.]
IEEE Computer Soc. Press
1994
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Nebent.: Ninth Annual IEEE Symposium on Logic in Computer Science |
| Physical Description: | XII, 517 S. graph. Darst. |
| ISBN: | 0818663103 081866312X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009814552 | ||
| 003 | DE-604 | ||
| 005 | 20080306 | ||
| 007 | t| | ||
| 008 | 940921s1994 xx d||| |||| 10||| eng d | ||
| 020 | |a 0818663103 |9 0-8186-6310-3 | ||
| 020 | |a 081866312X |9 0-8186-6312-X | ||
| 035 | |a (OCoLC)30820204 | ||
| 035 | |a (DE-599)BVBBV009814552 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-29T |a DE-739 |a DE-91G |a DE-19 | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 004 |b Sy68p, 1994 |2 20 | |
| 084 | |a DAT 540f |2 stub | ||
| 111 | 2 | |a Symposium on Logic in Computer Science |n 9 |d 1994 |c Paris |j Verfasser |0 (DE-588)5114914-X |4 aut | |
| 245 | 1 | 0 | |a Symposium on Logic in Computer Science |b LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 |
| 246 | 1 | 3 | |a Ninth Annual IEEE Symposium on Logic in Computer Science |
| 264 | 1 | |a Los Alamitos, Calif. [u.a.] |b IEEE Computer Soc. Press |c 1994 | |
| 300 | |a XII, 517 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Nebent.: Ninth Annual IEEE Symposium on Logic in Computer Science | ||
| 650 | 7 | |a Informatique - Mathématiques - Congrès |2 ram | |
| 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 intelligence artificielle |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique linéaire |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 catégorie |2 inriac | |
| 650 | 7 | |a théorie type |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 1994 |z Paris |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=006496540&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006496540 | |
Record in the Search Index
| _version_ | 1820882547729498112 |
|---|---|
| adam_text |
Contents
Preface
_
χ
Conference
Organization
_xi
Additional Reviewers
_xii
Invited Lecture I
Chair: Robert Constable
Terms, Proofs, and Refinement
_2
Rod
Burstall
Session
1 :
Finite Model Theory
Chair: Daniel Leivant
McColm's Conjecture
_10
Yuri Gurevich, Neil
Immerman,
and Saharon Shelah
The Expressive Power of Finitely Many Generalized Quantifiers
_20
Anuj
Dawar
and
Lauri
Hella
Generalized Quantifiers for Simple Properties
_30
Martin Otto
How to Define a Linear Order on Finite Models
_40
Lauri
Hella,
Phokion Kolaitis, and Kerkko Luosto
Session
2:
Concurrency
Chair: Vaughan Pratt
Finitary Fairness
_52
Rajeev Alur and Thomas Henzinger
Bisimulation is Not Finitely (First Order) Equationally Axiomatisable
_62
Peter Sewell
Foundations of Timed Concurrent Constraint Programming
_71
Vijay Saraswat, Radha Jagadeesan, and Vineet Gupta
Session
3:
Semantics I
Chair:
Achim Jung
A Fully Abstract Semantics for Concurrent Graph Reduction
_82
Alan Jeffrey
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC
_92
Marcelo
Fiore
and Gordon Plotkin
On Strong Stability and Higher-Order Sequentiality
_103
Loïc Colson
and Thomas Ehrhard
Session
4:
Domain Theory
Chair: Carl
Gunter
Linear Types, Approximation, and Topology
_---------------------------------110
Michael Huth,
Achim Jung,
and Klaus Keimel
Domain
Theory and Integration
_115
Abbas Edalat
Tutorial I
Chair:
Moshe Vardi
Automatic Verification of Finite-State Concurrent Systems
_126
Ed Clarke
Session
5:
Constraints
Chair:
Harald
Ganzinger
Negative Set Constraints with Equality
_128
Witold Charatonik
and
Leszek Pacholski
Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete
_137
Kjartan
Stefansson
Session
6:
Modal and Temporal Logics I
Chair: Dexter
Kozen
A Compositional Proof System for the Modal
μ
-Calculus
_
144
Henrik
Reif
Andersen, Colin Stirling, and Glynn Winskel
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus
_154
Shipei Zhang,
Oleg Sokolsky,
and Scott
Šmolka
Complexity Transfer for Modal Logic
_164
Edith Hemaspaandra
Session
7:
Types I
Chair: Paris Kanellakis
Typability and Type-Checking in the Second-Order
λ
-Calculus
are
Equivalent and Undecidable
_176
J.B. Wells
Efficient Inference of Object Types
_186
Jens Palsberg
Type Inference and Extensionality
_196
Adolfo Piperno
and
Simona
Ronchi della Rocca
Session
8:
Constructive Mathematics
Chair: Daniel Leivant
The Groupoid Model Refutes Uniqueness of Identity Proofs
_208
Martin
Hofmann
and Thomas
Streicher
A Non-Elementary Speed-Up in Proof Length by Structural Clause
Form Transformation
_213
Matthias Baaz, Christian
Fermüller,and
Alexander Leitsch
Upper and Lower Bounds for Tree-Like Cutting Planes Proofs
_220
Russell Impagliazzo,
Toniann Pitassi,
and Alasdair Urquhart
vi
Session 9:
Complexity and Databases
Chair: David McAllester
The Power of Reflective Relational Machines
_230
Serge Abiteboul,
Christos Papadimitriou,
and Victor Vianu
A Syntactic Characterization of NP-Completeness
_ 241
J. Antonio Medina and Neil
Immerman
Evening Lecture
Chair: Jean-Pierre Jouannaud
An Algebraic View of the Lambda-Calculus
Corrado
Boehm
Tutorial II
Chair: Samson Abramsky
The Semantics of Synchronous Concurrent Languages
Gerard Berry
Session
10:
Logic Programming
Chair:
Krzysztof
Apt
The Declarative Semantics of the Prolog Selection Rule
_252
Robert
Stärk
Semantics of
Meta-Logic in
an Algebra of Programs
_262
Antonio Brogi and Franco Turini
Session
11:
Linear Logic
Chair: Samson Abramsky
A Multiple-Conclusion
Meta-Logic
_272
Dale Miller
Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi
_282
Patrick Lincoln and
N.
Shankar
Linear Logic, Totality and Full Completeness
_292
Ralph Loader
Session
12:
Types II
Chair: Frank Pfenning
The Emptiness Problem for Intersection Types
_300
Pawel Urzyczyn
Subtyping and Parametricity
_310
Gordon Plotkin,
Martin Abadi,
and
Luca Cardelli
On the Church-Rosser Property for Expressive Type Systems and Its
Consequences for Their Metatheoretic Study_
_320
Herman Geuvers and Benjamin Werner
Session 13:
Semantics II
Chair: Prakash Panangaden
A
Semantics of Object
Types
_332
Martín
Abadi and Luca Cardelli
Passivity and Independence
_342
Uday Reddy
A General Semantics for Evaluation Logic
_353
Eugenio Moggi
Session
14:
Category Theory
Chair: Glynn Winskel
Reflexive Graphs and Parametric Polymorphism
_364
Edmund Robinson and Giuseppe Rosolini
Categories, Allegories, and Circuit Design
_372
Carolyn Brown and Graham Hutton
Invited Lecture II
Chair: Gerard Huet
Results and Problems Related to Proof-Checking
Henk Barendregt
Session
15:
Rewriting
Chair: Jean-Pierre Jouannaud
Rewrite Techniques for Transitive Relations
_384
Leo Bachmair and
Harald
Ganzinger
Normalised Rewriting and Normalised Completion
_394
Claude
Marche
Session
16:
Lambda-Calculus
Chair: Jean-Jacques Levy
Modularity of Strong Normalization and Confluence in the Algebraic
λ
-Cube
_
406
Franco
Barbanera, Maribel
Fernández,
and Herman Geuvers
Cyclic Lambda Graph Rewriting
_ 416
Zena Ariola
and
Jan Willem
Klop
Paths in the Lambda-Calculus
_426
Andrea Asperti, Vincent
Danos,
Cosimo Laneve, and Laurent
Régnier
Session
17:
Modal and Temporal Logic II
Chair: Colin Stirling
A Trace Based Extension of Linear Time Temporal Logic
_438
P.S.
Thiagarajan
Axioms for Knowledge and Time in Distributed Systems with Perfect Recall
_448
Ron van
der Meyden
Compositional Verification of Real-Time Systems
_458
Edward Chang, Zohar Manna, and Amir Pnueli
VUl
Session 18: Logic in
Artificial
Intelligence
Chair:
Peter Schroeder-Heister
Logical
Bilattices
and Inconsistent Data
_468
Ofer Arieli
and Arnon Avron
A
Modal Logic
for Subjective Default Reasoning
_477
Shai Ben-David and Rachel Ben-Eliyahu
Language Completeness of the Lambek Calculus
_487
Mati Pentus
Session
19:
Automated Deduction
Chair: Gerard Huet
Rigid E-Unifiability is DEXPTIME-Complete
_498
Jean Goubault
Higher-Order Narrowing
_507
Christian Prehofer
Index of Authors
_517 |
| any_adam_object | 1 |
| author_corporate | Symposium on Logic in Computer Science Paris |
| author_corporate_role | aut |
| author_facet | Symposium on Logic in Computer Science Paris |
| author_sort | Symposium on Logic in Computer Science Paris |
| building | Verbundindex |
| bvnumber | BV009814552 |
| 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 1994 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)30820204 (DE-599)BVBBV009814552 |
| 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">BV009814552</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080306</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">940921s1994 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818663103</subfield><subfield code="9">0-8186-6310-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">081866312X</subfield><subfield code="9">0-8186-6312-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30820204</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009814552</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-29T</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="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="b">Sy68p, 1994</subfield><subfield code="2">20</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">9</subfield><subfield code="d">1994</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5114914-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Symposium on Logic in Computer Science</subfield><subfield code="b">LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Ninth Annual IEEE Symposium on 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">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 517 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">Nebent.: Ninth Annual IEEE Symposium on Logic in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques - Congrès</subfield><subfield code="2">ram</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">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 linéaire</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 catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</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">1994</subfield><subfield code="z">Paris</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=006496540&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-006496540</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Paris gnd-content |
| genre_facet | Konferenzschrift 1994 Paris |
| id | DE-604.BV009814552 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:38Z |
| institution | BVB |
| institution_GND | (DE-588)5114914-X |
| isbn | 0818663103 081866312X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006496540 |
| oclc_num | 30820204 |
| open_access_boolean | |
| owner | DE-384 DE-29T DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| owner_facet | DE-384 DE-29T DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM |
| physical | XII, 517 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | Symposium on Logic in Computer Science 9 1994 Paris Verfasser (DE-588)5114914-X aut Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 Ninth Annual IEEE Symposium on Logic in Computer Science Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Press 1994 XII, 517 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Nebent.: Ninth Annual IEEE Symposium on Logic in Computer Science Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram base donnée inriac complexité inriac concurrence inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique linéaire inriac logique modale inriac logique temporelle inriac programmation en logique inriac réécriture inriac sémantique inriac théorie catégorie inriac théorie type 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 1994 Paris 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=006496540&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram base donnée inriac complexité inriac concurrence inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique linéaire inriac logique modale inriac logique temporelle inriac programmation en logique inriac réécriture inriac sémantique inriac théorie catégorie inriac théorie type 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 | Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 |
| title_alt | Ninth Annual IEEE Symposium on Logic in Computer Science |
| title_auth | Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 |
| title_exact_search | Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 |
| title_full | Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 |
| title_fullStr | Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 |
| title_full_unstemmed | Symposium on Logic in Computer Science LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 |
| title_short | Symposium on Logic in Computer Science |
| title_sort | symposium on logic in computer science lics 94 proceedings cnam paris france july 4 7 1994 |
| title_sub | LICS '94 ; proceedings ; CNAM, Paris, France, July 4 - 7, 1994 |
| topic | Informatique - Mathématiques - Congrès ram Logique symbolique et mathématique - Congrès ram base donnée inriac complexité inriac concurrence inriac déduction automatique inriac intelligence artificielle inriac lambda calcul inriac logique linéaire inriac logique modale inriac logique temporelle inriac programmation en logique inriac réécriture inriac sémantique inriac théorie catégorie inriac théorie type 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 | Informatique - Mathématiques - Congrès Logique symbolique et mathématique - Congrès base donnée complexité concurrence déduction automatique intelligence artificielle lambda calcul logique linéaire logique modale logique temporelle programmation en logique réécriture sémantique théorie catégorie théorie type Informatik Mathematik Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Mathematische Logik Konferenzschrift 1994 Paris |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006496540&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonlogicincomputerscienceparis symposiumonlogicincomputersciencelics94proceedingscnamparisfrancejuly471994 AT symposiumonlogicincomputerscienceparis ninthannualieeesymposiumonlogicincomputerscience |