Cover is for reference only

Proceedings of the 10th Italian Conference on Theoretical Computer Science (ICTCS '07), Rome, Italy, 3-5 October 2007 /

Saved in:
Bibliographic Details
Corporate Authors: Italian Conference on Theoretical Computer Science Rome, Italy); World Scientific (Firm)
Group Author: Italiano, Giuseppe F. (Editor); Moggi, Eugenio. (Editor); Laura, Luigi Anton. (Editor)
Published: World Scientific Pub.,
Publisher Address: Singapore :
Publication Dates: 2007.
Literature type: eBook
Language: English
Subjects:
Computer science > Congresses.
Electronic books.
Online Access: http://www.worldscientific.com/worldscibooks/10.1142/6581#t=toc
Carrier Form: 1 online resource (xiii,199pages) : illustrations
Bibliography: Includes bibliographical references and index.
ISBN: 9812770992 (electronic bk.)
9789812770998 (electronic bk.)
CLC: TP3
Contents: 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.

Related Book Recommendations