Foundations of software science and computation structures : First International Conference, FoSSaCS ±98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/Apr...
Enregistré dans:
| Collectivités auteurs: | , |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
1378 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Foundations of software science and computation structures, First International Conference, FoSSaCS ±98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March/April 1998, proceedings, Maurice Nivat (ed.), 1998, Berlin, Springer, 1 vol. (X-287 p.), Lecture notes in computer science, 3-540-64300-1 • Foundations of Software Science and Computation Structures, Texte imprimé, 9783662201053 |
| LEADER | 04604nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945712 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155238043 | ||
| 020 | |a 9783540697206 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on Foundations of software science and computation structures |n (01 |d :1998 |c :Lisbonne, Portugal). | |
| 245 | 1 | 0 | |a Foundations of software science and computation structures : |b First International Conference, FoSSaCS ±98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings |c [edited by] Maurice Nivat. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1378 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Generalizing domain theory -- A cook's tour of equational axiomatizations for prefix iteration -- The WHILE hierarchy of program schemes is infinite -- Analysis of a guard condition in type theory -- An event structure semantics for P/T contextual nets: Asymmetric event structures -- Pumping Lemmas for timed automata -- Asynchronous Observations of Processes -- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling -- Partial metrics and co-continuous valuations -- Mobile ambients -- Rational term rewriting -- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations -- Net refinement by pullback rewriting -- On piecewise testable, starfree, and recognizable picture languages -- Functor categories and two-level languages -- Deciding properties for message sequence charts -- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages -- Deterministic rational transducers and random sequences -- Resource based models for asynchrony. | |
| 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 book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes, Analyse de | ||
| 650 | |a Logiciels | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Nivat, Maurice, |d 1937-2017, |c informaticien. |4 pbd | |
| 711 | 2 | |a International joint conference on theory and practice of software development |n (8 |d :1998 |c :Lisbonne, Portugal). |4 aut | |
| 776 | 0 | |0 035794151 |t Foundations of software science and computation structures |o First International Conference, FoSSaCS ±98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ±98, Lisbon, Portugal, March/April 1998 |o proceedings |f Maurice Nivat (ed.) |d 1998 |c Berlin |n Springer |p 1 vol. (X-287 p.) |s Lecture notes in computer science |z 3-540-64300-1 | |
| 776 | 0 | |t Foundations of Software Science and Computation Structures |b Texte imprimé |z 9783662201053 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0053537 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-FN2LHNKN-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747890757 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0053537 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750903899 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0053537 |z Accès INSA CVL | |
| 997 | |0 945712 |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/ | ||