FST TCS : foundations of software technology pdf

FST TCS : foundations of software technology

More Book Details

Description of the Book:

Author: Sanjiv Kapoor, Sanjiva Prasad
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41413-1
DOI: 10.1007/3-540-44450-5

Table of Contents:

Model Checking: Theory into PracticenAn Algebra for XML QuerynIrregularities of Distribution, Derandomization, and Complexity TheorynRewriting Logic as a Metalogical FrameworknFrequency Assignment in Mobile Phone SystemsnData Provenance: Some Basic IssuesnFast On-Line/Off-Line Algorithms for Optimal Reinforcement of a Network and Its Connections with Principal PartitionnOn-Line Edge-Coloring with a Fixed Number of ColorsnOn Approximability of the Independent/Connected Edge Dominating Set ProblemsnModel Checking CTL Properties of Pushdown SystemsnA Decidable Dense Branching-Time Temporal LogicnFair Equivalence RelationsnArithmetic Circuits and Polynomial Replacement SystemsnDepth-3 Arithmetic Circuits for SnThe Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is InfinitenCombining Semantics with Non-standard Interpreter HierarchiesnUsing Modes to Ensure Subject Reduction for Typed Logic Programs with SubtypingnDynamically Ordered Probabilistic Choice Logic ProgrammingnCoordinatized Kernels and Catalytic Reductions: An Improved FPT Algorithm for Max Leaf Spanning Tree and Other ProblemsnPlanar Graph Blocking for External Searching’, ‘Includes bibliographical references and index

• Creator/s: Conference on Foundations of Software Technology and Theoretical Computer Science (20th : 2000 : New Delhi, India), Kapoor, Sanjiv, 1959-, Prasad, Sanjiva
• Date: 2000
• Book Topics/Themes: Software engineering, Computer science, algorithmique, sémantique programme, logique mathématique, théorie programmation, informatique théorique, Génie logiciel, Informatique, Computer science, Software engineering, Informatica, Programmatuurtechniek, Génie logiciel, Informatique

An excerpt captured from the PDF book