@incollection{Blum/91b,
AUTHOR = {Blum, Manuel},
TITLE = {Program checking},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {1-9},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Blass-Gurevich/91,
AUTHOR = {Blass, Andreas and Gurevich, Yuri},
TITLE = {Randomizing reductions of search problems},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {10-24},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sands/91,
AUTHOR = {Sands, David},
TITLE = {Time analysis, cost equivalence, and program refinement},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {25-39},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mitra-Sivakumar/91,
AUTHOR = {Mitra, Subrata and Sivakumar, G.},
TITLE = {AC-equation solving},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {40-56},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Tan-Chen/91,
AUTHOR = {Tan, Qing-Ping and Chen, Huo-Wang},
TITLE = {On the operational interpretation of complex types},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {57-70},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lodaya-Ramanujam/91,
AUTHOR = {Lodaya, Kamal and Ramanujam, R.},
TITLE = {Tense logics for local reasoning in distributed systems},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {71-88},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aceto-Engberg/91,
AUTHOR = {Aceto, Luca and Engberg, Uffe},
TITLE = {Failures semantics for a simple process language with refinement},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {89-108},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hungar/91,
AUTHOR = {Hungar, Hardi},
TITLE = {Correctness of programs over poor signatures},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {109-120},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Case-Jain-Sharma/91,
AUTHOR = {Case, John and Jain, Sanjay and Sharma, Arun},
TITLE = {Complexity issues for vacillatory function identification},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {121-140},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Le_Saec-Pin-Weil/91,
AUTHOR = {Le Saec, Bertrand and Pin, Jean-Eric and Weil, Pascal},
TITLE = {A purely algebraic proof of McNaughton's theorem on infinite words},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {141-151},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jiang-McDowell-Ravikumar/91a,
AUTHOR = {Jiang, Tao and McDowell, Edward and Ravikumar, B.},
TITLE = {The structure and complexity of minimal NFA's over a unary alphabet},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {152-171},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mahajan-Krithivasan/91,
AUTHOR = {Mahajan, Meena and Krithivasan, Kamala},
TITLE = {Relativised cellular automata and complexity classes},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {172-185},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kim-McNaughton/91,
AUTHOR = {Kim, Sam and McNaughton, Robert},
TITLE = {Computing the order of a locally testable automaton},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {186-211},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Goldsmith-Hemachandra-Kunen/91,
AUTHOR = {Goldsmith, Judy and Hemachandra, Lane A. and Kunen, Kenneth},
TITLE = {On the structure and complexity of infinite sets with minimal perfect hash functions},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {212-223},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Agrawal/91,
AUTHOR = {Agrawal, Manindra},
TITLE = {NP-hard sets and creativeness over constant time languages},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {224-241},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Stewart/91b,
AUTHOR = {Stewart, Iain A.},
TITLE = {Complete problems involving Boolean labelled structures and projection translations},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {242-260},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vinay/91b,
AUTHOR = {Vinay, V.},
TITLE = {Is BP.$\oplus P$ a probabilistic class?},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {261-265},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Munro-Raman/91a,
AUTHOR = {Munro, J. Ian and Raman, Venkatesh},
TITLE = {Fast stable in-place sorting with $O(n)$ data moves},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {266-277},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Paschos/91,
AUTHOR = {Paschos, V.Th.},
TITLE = {A theorem on the approximation of set cover and vertex cover},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {278-287},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Patkar-Narayanan/91,
AUTHOR = {Patkar, Sachin and Narayanan, H.},
TITLE = {A fast algorithm for the principal partition of a graph},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {288-306},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Niepel-Rossmanith/91,
AUTHOR = {Niepel, Inga and Rossmanith, Peter},
TITLE = {Uniform circuits and exclusive read PRAMs},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {307-318},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Furer-Raghavachari/91a,
AUTHOR = {F{\"u}rer, Martin and Raghavachari, Balaji},
TITLE = {Contracting planar graphs efficiently in parallel},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {319-335},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Krizanc-Narayanan-Raman/91,
AUTHOR = {Krizanc, Danny and Narayanan, Lata and Raman, Rajeev},
TITLE = {Fast deterministic selection on mesh-connected processor arrays},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {336-346},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mansour-Park-Schieber-Sen/91,
AUTHOR = {Mansour, Yishay and Park, James K. and Schieber, Baruch and Sen, Sandeep},
TITLE = {Improved selection in totally monotone arrays},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {347-359},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Papadimitriou-Rangan-Sideri/91,
AUTHOR = {Papadimitriou, Christos H. and Rangan, Venkat and Sideri, Martha},
TITLE = {Designing secure communication protocols from trust specifications},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {360-368},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ghosh-Maheshwari-Pal-Saluja-Veni_Madhavan/91,
AUTHOR = {Ghosh, Subir Kumar and Maheshwari, Anil and Pal, Sudebkumar Prasant and Saluja, Sanjeev and Veni Madhavan, C.E.},
TITLE = {Computing the shortest path tree in a weak visibility polygon},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {369-389},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhattacharya/91,
AUTHOR = {Bhattacharya, Binay K.},
TITLE = {Usefulness of angle-sweep over line-sweep},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {390-419},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Winskel/91a,
AUTHOR = {Winskel, Glynn},
TITLE = {Petri nets and transition systems},
BOOKTITLE = {Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'91 (New Delhi, India, December 17-19, 1991)},
SERIES = {LNCS},
VOLUME = {560},
PAGES = {420-420},
YEAR = {1991},
EDITOR = {Biswas, S. and Nori, K.V.},
URL = {http://dx.doi.org/10.1007/3-540-54967-6_84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}