1 option
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings / edited by Paritosh K Pandya, Jaikumar Radhakrishnan.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2914.
- Lecture Notes in Computer Science, 0302-9743 ; 2914
- Language:
- English
- Subjects (All):
- Computers.
- Application software.
- Computer logic.
- Programming languages (Electronic computers).
- Algorithms.
- Theory of Computation.
- Computer Applications.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Local Subjects:
- Theory of Computation.
- Computer Applications.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Physical Description:
- 1 online resource (XIV, 454 pages).
- Edition:
- First edition 2003.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
- System Details:
- text file PDF
- Contents:
- Contributed Papers
- A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol
- Constructions of Sparse Asymmetric Connectors
- A Separation Logic for Resource Distribution
- An Equational Theory for Transactions
- Axioms for Regular Words
- 1-Bounded TWA Cannot Be Determinized
- Reachability Analysis of Process Rewrite Systems
- Pushdown Games with Unboundedness and Regular Conditions
- Real-Time Model-Checking: Parameters Everywhere
- The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata
- Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
- Subtyping Constraints in Quasi-lattices
- An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case
- Word Equations over Graph Products
- Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models
- Comparing Sequences with Segment Rearrangements
- On Logically Defined Recognizable Tree Languages
- Randomized Time-Space Tradeoffs for Directed Graph Connectivity
- Distance-Preserving Approximations of Polygonal Paths
- Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra
- On the Covering Steiner Problem
- Minimality Results for the Spatial Logics
- Algorithms for Non-uniform Size Data Placement on Parallel Disks
- Efficient Algorithms for Abelian Group Isomorphism and Related Problems
- Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees
- Model Checking and Satisfiability for Sabotage Modal Logic
- Merging and Sorting By Strip Moves
- The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase
- Distributed Games
- Maintenance of Multidimensional Histograms
- Tagging Makes Secrecy Decidable with Unbounded Nonces as Well
- Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties
- On the Greedy Superstring Conjecture
- Invited Papers
- Reasoning about Infinite State Systems Using Boolean Methods
- Stringent Relativization
- Component-Based Construction of Deadlock-Free Systems
- Moderately Hard Functions: From Complexity to Spam Fighting
- Zigzag Products, Expander Constructions, Connections, and Applications.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-24597-1
- 9783540245971
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.