Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Category Theory and Computer Science [[electronic resource] ] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / / edited by Eugenio Moggi, Giuseppe Rosolini
| Category Theory and Computer Science [[electronic resource] ] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / / edited by Eugenio Moggi, Giuseppe Rosolini |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 319 p.) |
| Disciplina | 004/.01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer logic Mathematical logic K-theory Computer System Implementation Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages K-Theory Mathematical Logic and Foundations |
| ISBN | 3-540-69552-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An introduction to n-categories -- Allegories as a basis for algorithmics -- Separating shape from data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2-categorical presentation of term graph rewriting -- Presheaf models for the ?-calculus -- Categorical modelling of structural operational rules case studies -- Specifying interaction categories -- Shedding new light in the world of logical systems -- Combining and representing logical systems -- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)). -- Effectiveness of the global modulus of continuity on metric spaces -- Proof principles for datatypes with iterated recursion -- When Do Datatypes Commute? -- A calculus for collections and aggregates -- Lifting -- General synthetic domain theory — A logical approach (extended abstract). |
| Record Nr. | UNINA-9910144916503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Category Theory and Computer Science [[electronic resource] ] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / / edited by Eugenio Moggi, Giuseppe Rosolini
| Category Theory and Computer Science [[electronic resource] ] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings / / edited by Eugenio Moggi, Giuseppe Rosolini |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (IX, 319 p.) |
| Disciplina | 004/.01/5113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer logic Mathematical logic K-theory Computer System Implementation Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages K-Theory Mathematical Logic and Foundations |
| ISBN | 3-540-69552-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An introduction to n-categories -- Allegories as a basis for algorithmics -- Separating shape from data -- A factorisation theorem in rewriting theory -- Monads and modular term rewriting -- A 2-categorical presentation of term graph rewriting -- Presheaf models for the ?-calculus -- Categorical modelling of structural operational rules case studies -- Specifying interaction categories -- Shedding new light in the world of logical systems -- Combining and representing logical systems -- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)). -- Effectiveness of the global modulus of continuity on metric spaces -- Proof principles for datatypes with iterated recursion -- When Do Datatypes Commute? -- A calculus for collections and aggregates -- Lifting -- General synthetic domain theory — A logical approach (extended abstract). |
| Record Nr. | UNISA-996465480303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
PPDP '04 : proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, August 24-26, 2004, Verona, Italy
| PPDP '04 : proceedings of the 6th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, August 24-26, 2004, Verona, Italy |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM Press, 2004 |
| Descrizione fisica | 1 online resource (260 p.;) |
| Disciplina | 005.13/1 |
| Collana | ACM Conferences |
| Soggetto topico |
Declarative programming
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PPDP '04 |
| Record Nr. | UNINA-9910375933003321 |
| [Place of publication not identified], : ACM Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 [[electronic resource] ] : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
| Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 [[electronic resource] ] : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | xiii, 199 p. : ill |
| Disciplina | 004 |
| Altri autori (Persone) |
ItalianoGiuseppe F
MoggiEugenio LauraLuigi |
| Soggetto topico |
Computer science
Computers |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-91164-X
9786611911645 981-277-099-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Invited talks. Clairvoyance and laziness for on line travelling agents / G. Ausiello. Proving the range property for Lambda theories and models / H. Barendregt. Can a proper Lambda-model have an R.E. equational theory? / C. Berline. Session centered calculi for service oriented computing / R. De Nicola. Symmetries in foundations / G. Longo -- pt. B. Regular contributions. On the approximability of dense Steiner tree problems / M. Hauptmann. Weak pattern matching in colored graphs: minimizing the number of connected components / R. Dondi, G. Fertin, and S. Vialette. Weak Markovian bisimilarity: abstracting from prioritized/weighted internal immediate actions / M. Bernardo and A. Aldini. Analyzing non-interference with respect to classes / D. Zanardini. Computing minimum directed feedback vertex set in O+(1.9977n) / I. Razgon. Seeing the trees and their branches in the network is hard / I.A. Kanj ... [et al.]. Modeling fuzzy behaviours in concurrent systems / L. D'Errico and M. Loreti. A formal framework for compositional compilation / D. Ancona and E. Zucca. Type inference for polymorphic mehods in Java-like languages / D. Ancona, G. Lagorio and E. Zucca. Sorting streamed multisets / T. Gagie. An analysis of a simple algorithm for random derangements / D. Merlini, R. Sprugnoli, and M. C. Verri. The measure hypothesis and efficiency of polynomial time approximation schemes / M. Hauptmann. Dichotomy results for fixed point counting in boolean dynamical systems / S. Kosub and C. M. Homan. Definable sets in weak Presburger arithmetic / C. Choffrut and A. Frigeri. On definite proofs of knowledge in the bare public-key model / G. Di Crescenzo and I. Visconti. |
| Record Nr. | UNINA-9910450954403321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 [[electronic resource] ] : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
| Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 [[electronic resource] ] : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | xiii, 199 p. : ill |
| Disciplina | 004 |
| Altri autori (Persone) |
ItalianoGiuseppe F
MoggiEugenio LauraLuigi |
| Soggetto topico |
Computer science
Computers |
| ISBN |
1-281-91164-X
9786611911645 981-277-099-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Invited talks. Clairvoyance and laziness for on line travelling agents / G. Ausiello. Proving the range property for Lambda theories and models / H. Barendregt. Can a proper Lambda-model have an R.E. equational theory? / C. Berline. Session centered calculi for service oriented computing / R. De Nicola. Symmetries in foundations / G. Longo -- pt. B. Regular contributions. On the approximability of dense Steiner tree problems / M. Hauptmann. Weak pattern matching in colored graphs: minimizing the number of connected components / R. Dondi, G. Fertin, and S. Vialette. Weak Markovian bisimilarity: abstracting from prioritized/weighted internal immediate actions / M. Bernardo and A. Aldini. Analyzing non-interference with respect to classes / D. Zanardini. Computing minimum directed feedback vertex set in O+(1.9977n) / I. Razgon. Seeing the trees and their branches in the network is hard / I.A. Kanj ... [et al.]. Modeling fuzzy behaviours in concurrent systems / L. D'Errico and M. Loreti. A formal framework for compositional compilation / D. Ancona and E. Zucca. Type inference for polymorphic mehods in Java-like languages / D. Ancona, G. Lagorio and E. Zucca. Sorting streamed multisets / T. Gagie. An analysis of a simple algorithm for random derangements / D. Merlini, R. Sprugnoli, and M. C. Verri. The measure hypothesis and efficiency of polynomial time approximation schemes / M. Hauptmann. Dichotomy results for fixed point counting in boolean dynamical systems / S. Kosub and C. M. Homan. Definable sets in weak Presburger arithmetic / C. Choffrut and A. Frigeri. On definite proofs of knowledge in the bare public-key model / G. Di Crescenzo and I. Visconti. |
| Record Nr. | UNINA-9910777322203321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura
| Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 : Rome, Italy, 3-5 October 2007 / / editors, Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2007 |
| Descrizione fisica | xiii, 199 p. : ill |
| Disciplina | 004 |
| Altri autori (Persone) |
ItalianoGiuseppe F
MoggiEugenio LauraLuigi |
| Soggetto topico |
Computer science
Computers |
| ISBN |
1-281-91164-X
9786611911645 981-277-099-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Invited talks. Clairvoyance and laziness for on line travelling agents / G. Ausiello. Proving the range property for Lambda theories and models / H. Barendregt. Can a proper Lambda-model have an R.E. equational theory? / C. Berline. Session centered calculi for service oriented computing / R. De Nicola. Symmetries in foundations / G. Longo -- pt. B. Regular contributions. On the approximability of dense Steiner tree problems / M. Hauptmann. Weak pattern matching in colored graphs: minimizing the number of connected components / R. Dondi, G. Fertin, and S. Vialette. Weak Markovian bisimilarity: abstracting from prioritized/weighted internal immediate actions / M. Bernardo and A. Aldini. Analyzing non-interference with respect to classes / D. Zanardini. Computing minimum directed feedback vertex set in O+(1.9977n) / I. Razgon. Seeing the trees and their branches in the network is hard / I.A. Kanj ... [et al.]. Modeling fuzzy behaviours in concurrent systems / L. D'Errico and M. Loreti. A formal framework for compositional compilation / D. Ancona and E. Zucca. Type inference for polymorphic mehods in Java-like languages / D. Ancona, G. Lagorio and E. Zucca. Sorting streamed multisets / T. Gagie. An analysis of a simple algorithm for random derangements / D. Merlini, R. Sprugnoli, and M. C. Verri. The measure hypothesis and efficiency of polynomial time approximation schemes / M. Hauptmann. Dichotomy results for fixed point counting in boolean dynamical systems / S. Kosub and C. M. Homan. Definable sets in weak Presburger arithmetic / C. Choffrut and A. Frigeri. On definite proofs of knowledge in the bare public-key model / G. Di Crescenzo and I. Visconti. |
| Record Nr. | UNINA-9910822231003321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||