Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533...
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , , , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
626 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Autre contributeur : Michael M. Richter (ed.) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer science logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, proceedings, E. Börger, G. Jäger, H. Kleine Büning... [et al.] (Eds.), 1992, Berlin, Springer-Verlag, 1 vol. (viii-428 p.), Lecture notes in computer science, 3-540-55789-X • Computer Science Logic, Texte imprimé, 9783662193877 |
| LEADER | 05446nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 944829 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155203592 | ||
| 020 | |a 9783540472858 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.015113 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a Workshop on computer science logic |n (05 |d :1991 |c :Berne, Suisse). | |
| 245 | 1 | 0 | |a Computer science logic : |b 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings |c E. Börger, G. Jäger, H. Kleine Büning... [et al.] (Eds.). |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 626 |x 1611-3349 | |
| 500 | |a Autre contributeur : Michael M. Richter (ed.) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a The expressive power of transitive closure and 2-way multihead automata -- Correctness proof for the WAM with types -- Model checking of persistent Petri nets -- Provability in TBLL: A decision procedure -- How to implement first order formulas in local memory machine models -- A new approach to abstract data types II computation on ADTs as ordinary computation -- A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation -- On bounded theories -- The cutting plane proof system with bounded degree of falsity -- Denotational versus declarative semantics for functional programming -- On transitive closure logic -- Some aspects of the probabilistic behavior of variants of resolution -- Safe queries in relational databases with functions -- Logical inference and polyhedral projection -- Stable logic -- A transformational methodology for proving termination of logic programs -- Plausibility logic -- Towards Kleene Algebra with recursion -- Equational specification of abstract types and combinators -- Normal forms in infinite-valued logic: The case of one variable -- A fragment of first order logic adequate for observation equivalence -- Ordinal processes in comparative concurrency semantics -- Logical semantics of modularisation -- A cut-elimination procedure designed for evaluating proofs as programs -- Minimal from classical proofs -- Quantifier hierarchies over word relations -- Complexity results for the default- and the autoepistemic logic -- On Completeness for NP via projection translations -- Control of ?-automata, Church's problem, and the emptiness problem for tree ?-automata -- Comparing the theory of representations and constructive mathematics -- Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic.-On completeness of program synthesis systems -- Proving termination for term rewriting systems. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Börger, Egon, |d 1946- |4 pbd | |
| 700 | 1 | |a Jäger, Gerhard, |d 1953- |4 pbd | |
| 700 | 1 | |a Kleine Büning, Hans, |d 1948- |4 pbd | |
| 700 | 1 | |a Richter, Michael M., |d 1938-2020, |c mathématicien. |4 pbd | |
| 776 | 0 | |0 014580918 |t Computer science logic |o 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 |o proceedings |f E. Börger, G. Jäger, H. Kleine Büning... [et al.] (Eds.) |d 1992 |c Berlin |n Springer-Verlag |p 1 vol. (viii-428 p.) |s Lecture notes in computer science |z 3-540-55789-X | |
| 776 | 0 | |t Computer Science Logic |b Texte imprimé |z 9783662193877 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0023753 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2GF1QZ9B-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747916098 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0023753 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750928727 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0023753 |z Accès INSA CVL | |
| 997 | |0 944829 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||