TY - CHAP AU - Salvador Romaguera AU - Oscar Valero ED - Muhammad Tanvir Afzal Y1 - 2012-04-25 PY - 2012 T1 - A Common Mathematical Framework for Asymptotic Complexity Analysis and Denotational Semantics for Recursive Programs Based on Complexity Spaces N2 - The current book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. The book has been divided into two volumes. The current one is the first volume which highlights the advances in theories and mathematical models in the domain of Semantics. This volume has been divided into four sections and ten chapters. The sections include: 1) Background, 2) Queries, Predicates, and Semantic Cache, 3) Algorithms and Logic Programming, and 4) Semantic Web and Interfaces. Authors across the World have contributed to debate on state-of-the-art systems, theories, mathematical models in the domain of Semantics. Subsequently, new theories, mathematical models, and systems have been proposed, developed, and evaluated. BT - Semantics SP - Ch. 5 UR - https://doi.org/10.5772/36799 DO - 10.5772/36799 SN - PB - IntechOpen CY - Rijeka Y2 - 2024-03-29 ER -