↓ Skip to main content
What is this page? Embed badge

Foundations of Software Technology and Theoretical Computer Science

Overview of attention for book
Cover of 'Foundations of Software Technology and Theoretical Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 31 Reasoning about linear constraints using parametric queries
  3. Altmetric Badge
    Chapter 32 Discriminant circumscription
  4. Altmetric Badge
    Chapter 33 Complexity of algebraic specifications
  5. Altmetric Badge
    Chapter 34 A new method for undecidability proofs of first order theories
  6. Altmetric Badge
    Chapter 35 Generating plans in linear logic
  7. Altmetric Badge
    Chapter 36 Automata-theoretic techniques for image generation and compression
  8. Altmetric Badge
    Chapter 37 Recognizable infinite tree sets and their complexity
  9. Altmetric Badge
    Chapter 38 The expressibility of nondeterministic auxiliary stack automata and its relation to treesize bounded alternating auxiliary pushdown automata
  10. Altmetric Badge
    Chapter 39 Towards constructive program derivation in VDM
  11. Altmetric Badge
    Chapter 40 A new method for proving termination of AC-rewrite systems
  12. Altmetric Badge
    Chapter 41 Efficient parallel algorithms for optical computing with the DFT primitive
  13. Altmetric Badge
    Chapter 42 The power of collision: Randomized parallel algorithms for chaining and integer sorting
  14. Altmetric Badge
    Chapter 43 Fast parallel algorithms for cographs
  15. Altmetric Badge
    Chapter 44 Optimally representing euclidean space discretely for analogically simulating physical phenomena
  16. Altmetric Badge
    Chapter 45 Optimal parallel algorithms for testing isomorphism of trees and outerplanar graphs
  17. Altmetric Badge
    Chapter 46 Randomized parallel selection
  18. Altmetric Badge
    Chapter 47 A fast parallel algorithm for finding a maximal bipartite set
  19. Altmetric Badge
    Chapter 48 On the parallel evaluation of classes of circuits
  20. Altmetric Badge
    Chapter 49 Voronoi diagrams of moving points in the plane
  21. Altmetric Badge
    Chapter 50 Efficient algorithms for identifying all maximal isothetic empty rectangles in VLSI layout design
  22. Altmetric Badge
    Chapter 51 On some largest empty orthoconvex polygons in a point set
  23. Altmetric Badge
    Chapter 52 Defining process fairness for non-interleaving concurrency
  24. Altmetric Badge
    Chapter 53 Observational logics and concurrency models
  25. Altmetric Badge
    Chapter 54 Distributed reset
  26. Altmetric Badge
    Chapter 55 Refinement and composition of transition-based rely-guarantee specifications with auxiliary variables
  27. Altmetric Badge
    Chapter 56 Efficient algorithms for crash recovery in distributed systems
  28. Altmetric Badge
    Chapter 57 A non-standard inductive semantics
  29. Altmetric Badge
    Chapter 58 Relating full abstraction results for different programming languages
  30. Altmetric Badge
    Chapter 59 Towards a theory of commonsense visual reasoning
  31. Altmetric Badge
    Chapter 60 Natural language processing, complexity theory and logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
4 Dimensions
Summary Wikipedia Dimensions citations
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
Foundations of Software Technology and Theoretical Computer Science
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-53487-3
ISBNs
978-3-54-053487-7, 978-3-54-046313-9
Editors

Nori, Kesav V., Veni Madhavan, C. E.

View on publisher site

This page is provided by Altmetric.