Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , , , |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
702 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Autres contributeurs : S. Martini, M. M. Richter (eds) 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, 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992, selected papers, E. Börger, G. Jäger, H. Kleine Büning ... [et al.] (Eds), 1993, Berlin, Springer-Verlag, 1 vol. (viii- 439 p.), Lecture notes in computer science, 3-540-56992-8 • Computer Science Logic, Texte imprimé, 9783662213285 |
| LEADER | 05354nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 944168 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155177346 | ||
| 020 | |a 9783540478904 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Workshop on computer science logic |n (06 |d :1992 |c :San Miniato, Italie). | |
| 245 | 1 | 0 | |a Computer science logic : |b 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers |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 702 |x 1611-3349 | |
| 500 | |a Autres contributeurs : S. Martini, M. M. Richter (eds) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A universal Turing machine -- Recursive inseparability in linear logic -- The basic logic of proofs -- Algorithmic structuring of cut-free proofs -- Optimization problems: Expressibility, approximation properties and expected asymptotic growth of optimal solutions -- Linear ?-calculus and categorical models revisited -- A self-interpreter of lambda calculus having a normal form -- An Ehrenfeucht-Fraïssé game for fixpoint logic and stratified fixpoint logic -- The class of problems that are linearly equivalent to satisfiability or a uniform method for proving NP-completeness -- Model building by resolution -- Comparative transition system semantics -- Reasoning with higher order partial functions -- Communicating evolving algebras -- On the completeness of narrowing as the operational semantics of functional logic programming -- Inductive definability with counting on finite structures -- Linear time algorithms and NP-complete problems -- The semantics of the C programming language -- A theory of classes for a functional language with effects -- Logical definability of NP-optimisation problems with monadic auxiliary predicates -- Universes in the theories of types and names -- Notes on sconing and relators -- Solving 3-satisfiability in less than 1, 579n steps -- Kleene's slash and existence of values of open terms in type theory -- Negation-complete logic programs -- Logical characterization of bounded query classes II: Polynomial-time oracle machines -- On asymptotic probabilities of monadic second order properties. | |
| 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 Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse combinatoire | ||
| 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 Martini, Simone, |d 19..-..., |c informaticien. |4 pbd | |
| 700 | 1 | |a Richter, Michael M., |d 1938-2020, |c mathématicien. |4 pbd | |
| 776 | 0 | |0 017464617 |t Computer science logic |o 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 |o selected papers |f E. Börger, G. Jäger, H. Kleine Büning ... [et al.] (Eds) |d 1993 |c Berlin |n Springer-Verlag |p 1 vol. (viii- 439 p.) |s Lecture notes in computer science |z 3-540-56992-8 | |
| 776 | 0 | |t Computer Science Logic |b Texte imprimé |z 9783662213285 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-56992-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-N024D2JC-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74792211X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-56992-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750934484 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-56992-8 |z Accès INSA CVL | |
| 997 | |0 944168 |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/ | ||