ask others

11. FSTTCS 1991: New Delhi, India

> Home > Conferences and Workshops > FSTTCS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/1991
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/1991
Somenath Biswas, Kesav V. Nori:
Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Lecture Notes in Computer Science 560, Springer 1991, ISBN 3-540-54967-6

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Blum91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Blum91
Manuel Blum:
Program Checking. 1-9
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/BlassG91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/BlassG91
Andreas Blass, Yuri Gurevich:
Randomizing Reductions of Search Problems. 10-24

Term Rewriting, Type Theory

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Sands91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Sands91
David Sands:
Time Analysis, Cost Equivalence and Program Refinement. 25-39
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/MitraS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/MitraS91
Subrata Mitra, G. Sivakumar:
AC-Equation Solving. 40-56
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/TanC91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/TanC91
Qing-Ping Tan, Huo-Wang Chen:
On the Operational Interpretation of Complex Types. 57-70

Semantics, Chair: R. K. Shyamasundar

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/LodayaR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/LodayaR91
Kamal Lodaya, Ramaswamy Ramanujam:
Tense Logics for Local Reasoning in Distributed Systems. 71-88
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/AcetoE91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/AcetoE91
Luca Aceto, Uffe Engberg:
Failures Semantics for a Simple Process Language with Refinement. 89-108
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Hungar91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Hungar91
Hardi Hungar:
Correstness of Programs over Poor Signatures. 109-120
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/CaseJS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/CaseJS91
John Case, Sanjay Jain, Arun Sharma:
Complexity Issues for Vacillatory Function Identification. 121-140

Automata Theory

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/SaecPW91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/SaecPW91
Bertrand Le Saëc, Jean-Eric Pin, Pascal Weil:
A Purely Algebraic Proof of McNaughton's Theorem on Infinite Words. 141-151
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/JiangMR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/JiangMR91
Tao Jiang, Edward McDowell, Bala Ravikumar:
The Structure and Complexity of Minimal NFA's over a Unary Alphabet. 152-171
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/MahajanK91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/MahajanK91
Meena Mahajan, Kamala Krithivasan:
Relativised Cellular Automata and Complexity Classes. 172-185
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/KimM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/KimM91
Sam M. Kim, Robert McNaughton:
Computing the Order of a Locally Testable Automaton. 186-211

Structural Complexity

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/GoldsmithHK91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/GoldsmithHK91
Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen:
On the Structure and Complexity of Infinite Sets with Minimal Perfect Hash Functions. 212-223
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Agrawal91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Agrawal91
Manindra Agrawal:
NP-hard Sets and Creativeness over Constant Time Languages. 224-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Stewart91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Stewart91
Iain A. Stewart:
Complete Problems Involving Boolean Labelled Structures and Projections Translations. 242-260
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Vinay91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Vinay91
V. Vinay:
Is BP.+P a Probabilistic Class? 261-265

Agorithms I

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/MunroR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/MunroR91
J. Ian Munro, Venkatesh Raman:
Fast Sorting In-Place Sorting with O(n) Data. 266-277
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Paschos91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Paschos91
Vangelis Th. Paschos:
A Theorem on the Approximation of Set Cover and Vertex Cover. 278-287
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/PatkarN91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/PatkarN91
Sachin B. Patkar, H. Narayanan:
A Fast Algorithm for the Principle Partition of a Graph. 288-306

Algorithms II

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/NiepelR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/NiepelR91
Inga Niepel, Peter Rossmanith:
Uniform Circuits and Exclusive Read PRAMs. 307-318
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Furer91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Furer91
Martin Fürer:
Contracting Planar Graphs Efficiency in Parallel. 319-335
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/KrizancNR91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/KrizancNR91
Danny Krizanc, Lata Narayanan, Rajeev Raman:
Fast Deterministic Selection on Mesh-Connected Processor Arrays. 336-346

Algorithms III

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/MansourPS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/MansourPS91
Yishay Mansour, James K. Park, Baruch Schieber:
Improved Selection on Totally Monotone Arrays. 347-359
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/PapadimitriouRS91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/PapadimitriouRS91
Christos H. Papadimitriou, P. Venkat Rangan, Martha Sideri:
Designing Secure Communication Protocols from Trust Specifications. 360-368
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/GoshMPSM91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/GoshMPSM91
Subir Kumar Ghosh, Anil Maheshwari, Sudebkumar Prasant Pal, Sanjeev Saluja, C. E. Veni Madhavan:
Computing the Shortest Path Tree in a Weak Visibility Polygon. 369-389
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Bhattacharya91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Bhattacharya91
Binay K. Bhattacharya:
Usefulness of Angle-Sweep over Line-Sweep. 390-419

Invited Paper

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/Winskel91
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/Winskel91
Glynn Winskel:
Petri Nets and Transition Systems (Abstract for an invited talk). 420

maintained by

at