Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07: Rome, Italy, 3-5 October 2007World Scientific, 2007 - 199 páginas Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. The subjects of this book range from logical and mathematical aspects of computing, design and analysis of algorithms, to semantics of programming languages. |
Otras ediciones - Ver todas
Términos y frases comunes
abstract action algorithm approximation scheme assumption bisimulation boolean functions bounded BPK model colors complexity compositional compilation Computer Science concurrent condition connected components consider constraints defined definition denote dynamical systems edge entailment relation fixed point fixed-parameter tractable formula Fuzzy GetMAS(G given graph G hence input instance Java L-Fuzzy Sets label(u labeled languages left-marked Lemma Markovian process method MIN-CC problem motif multiset notion NP-complete occurrence parameterized Parameterized Complexity partition node permutation phylogenetic networks planar graphs polymorphic polynomial polynomial time approximation polynomial-time Presburger arithmetic principal typings process calculi process terms proofs of knowledge properties protocol prove PTAS ratew recursive resp result right-marked satisfied Section sound and complete splay-tree Steiner Tree Problem strings subset target graph terminal set Theorem 3.1 type inference type system typechecking unobservable variables vertex vertices VL(G witness extraction zero-knowledge