↓ Skip to main content

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings

Overview of attention for book
Cover of 'FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Primality Testing with Gaussian Periods
  3. Altmetric Badge
    Chapter 2 From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple
  4. Altmetric Badge
    Chapter 3 Encoding Generic Judgments
  5. Altmetric Badge
    Chapter 4 Model Checking Algol-Like Languages Using Game Semantics
  6. Altmetric Badge
    Chapter 5 Modeling Software: From Theory to Practice
  7. Altmetric Badge
    Chapter 6 Local Normal Forms for Logics over Traces
  8. Altmetric Badge
    Chapter 7 On the Hardness of Constructing Minimal 2-Connected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality
  9. Altmetric Badge
    Chapter 8 Communication Interference in Mobile Boxed Ambients
  10. Altmetric Badge
    Chapter 9 The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity
  11. Altmetric Badge
    Chapter 10 Composing Strand Spaces
  12. Altmetric Badge
    Chapter 11 Generalising Automaticity to Modal Properties of Finite Structures
  13. Altmetric Badge
    Chapter 12 An Automata-Theoretic Approach to Constraint LTL
  14. Altmetric Badge
    Chapter 13 Hardness Results for Multicast Cost Sharing
  15. Altmetric Badge
    Chapter 14 How to Compose Presburger-Accelerations: Applications to Broadcast Protocols
  16. Altmetric Badge
    Chapter 15 State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences
  17. Altmetric Badge
    Chapter 16 Algorithmic Combinatorics Based on Slicing Posets
  18. Altmetric Badge
    Chapter 17 Pattern Matching for Arc-Annotated Sequences
  19. Altmetric Badge
    Chapter 18 Knowledge over Dense Flows of Time (from a Hybrid Point of View)
  20. Altmetric Badge
    Chapter 19 The Complexity of the Inertia
  21. Altmetric Badge
    Chapter 20 The Quantum Communication Complexity of the Pointer Chasing Problem: The Bit Version
  22. Altmetric Badge
    Chapter 21 The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures
  23. Altmetric Badge
    Chapter 22 Deciding the First Level of the μ-Calculus Alternation Hierarchy
  24. Altmetric Badge
    Chapter 23 Dynamic Message Sequence Charts
  25. Altmetric Badge
    Chapter 24 The Complexity of Compositions of Deterministic Tree Transducers
  26. Altmetric Badge
    Chapter 25 On the Hardness of Approximating Minimum Monopoly Problems
  27. Altmetric Badge
    Chapter 26 Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems
  28. Altmetric Badge
    Chapter 27 Lower Bounds for Embedding Graphs into Graphs of Smaller Characteristic
  29. Altmetric Badge
    Chapter 28 Nearest Neighbors Search Using Point Location in Balls with Applications to Approximate Voronoi Decompositions
  30. Altmetric Badge
    Chapter 29 Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases
  31. Altmetric Badge
    Chapter 30 Decomposition in Asynchronous Circuit Design
  32. Altmetric Badge
    Chapter 31 Queue Layouts, Tree-Width, and Three-Dimensional Graph Drawing
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
3 Wikipedia pages
q&a
1 Q&A thread

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings
Published by
Springer Berlin Heidelberg, July 2003
DOI 10.1007/3-540-36206-1
ISBNs
978-3-54-000225-3, 978-3-54-036206-7
Editors

Agrawal, Manindra, Seth, Anil

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%