@incollection{Allender/96b,
AUTHOR = {Allender, Eric},
TITLE = {Circuit complexity before the dawn of the new millennium},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {1-18},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Arvind-Maessen-Nikhil-Stoy/96,
AUTHOR = {Arvind and Maessen, Jan-Willem and Nikhil, Rishiyur S. and Stoy, Joseph},
TITLE = {A lambda calculus with letrecs and barriers},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {19-36},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Munro/96,
AUTHOR = {Munro, J. Ian},
TITLE = {Tables},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {37-42},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Rushby/96,
AUTHOR = {Rushby, John},
TITLE = {Mechanized formal methods: Progress and prospects},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {43-51},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Lagarias-Prabhu-Reeds/96,
AUTHOR = {Lagarias, J.C. and Prabhu, N. and Reeds, J.A.},
TITLE = {The parameter space of the $d$-step conjecture},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {52-63},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Das-Kapoor-Smid/96,
AUTHOR = {Das, Gautam and Kapoor, Sanjieev and Smid, Michiel},
TITLE = {On the complexity of approximating Euclidean Traveling Salesman tours and minimum spanning trees},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {64-75},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Mitra-Nandy/96,
AUTHOR = {Mitra, Pinaki and Nandy, Subhas C.},
TITLE = {Efficient computation of rectilinear geodesic Voronoi neighbor in presence of obstacles},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {76-87},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Mayr/96,
AUTHOR = {Mayr, Richard},
TITLE = {Weak bisimulation and model checking for basic parallel processes},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {88-99},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Jain-Arun-Kumar/96,
AUTHOR = {Jain, Kamal and Arun-Kumar, S.},
TITLE = {Testing processes for efficiency},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {100-110},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kucera/96,
AUTHOR = {Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Regularity is decidable for normed $PA$ processes in polynomial time},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {111-122},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kapoor-Singh/96,
AUTHOR = {Kapoor, Sanjiv and Singh, Tripurari},
TITLE = {Dynamic maintenance of shortest path trees in simple polygons},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {123-134},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Levcopoulos-Gudmundsson/96,
AUTHOR = {Levcopoulos, Christos and Gudmundsson, Joachim},
TITLE = {Close approximations of minimum rectangular coverings},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {135-146},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Dasgupta-Chakrabarti-DeSarkar/96b,
AUTHOR = {Dasgupta, Pallab and Chakrabarti, P.P. and DeSarkar, S.C.},
TITLE = {A new competitive algorithm for agent searching in unknown streets},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {147-155},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Hung-Ji/96,
AUTHOR = {Hung, Dang Van and Ji, Wang},
TITLE = {On the design of hybrid control systems using automata models},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {156-167},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Codognet-Diaz-Rossi/96,
AUTHOR = {Codognet, Philippe and Diaz, Daniel and Rossi, Francesca},
TITLE = {Constraint retraction in FD},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {168-179},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Nipkow/96,
AUTHOR = {Nipkow, Tobias},
TITLE = {Winskel is (almost) right: Towards a mechanized semantics textbook},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {180-192},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kalyanasundaram-Pruhs/96,
AUTHOR = {Kalyanasundaram, Bala and Pruhs, Kirk},
TITLE = {An optimal deterministic algorithm for online $b$-matching},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {193-199},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Varman-Verma/96,
AUTHOR = {Varman, Peter J. and Verma, Rakesh M.},
TITLE = {Tight bounds for prefetching and buffer management algorithms for parallel I/O systems},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {200-211},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Morin-Prabhu-Zhang/96,
AUTHOR = {Morin, T.L. and Prabhu, N. and Zhang, Z.},
TITLE = {Complexity of the gravitational method for linear programming},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {212-223},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Oommen-Loke/96,
AUTHOR = {Oommen, B.J. and Loke, R.K.S.},
TITLE = {Optimal and information theoretic syntactic pattern recognition involving traditional and transposition errors},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {224-237},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Glauert-Khasidashvili/96,
AUTHOR = {Glauert, John and Khasidashvili, Zurab},
TITLE = {Minimal relative normalization in orthogonal expression reduction systems},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {238-249},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Ramanujam/96,
AUTHOR = {Ramanujam, R.},
TITLE = {Trace consistency and inevitability},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {250-261},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{van_der_Meyden/96,
AUTHOR = {van der Meyden, Ron},
TITLE = {Finite state implementations of knowledge-based programs},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {262-273},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Linnestad-Prehofer-Lysne/96,
AUTHOR = {Linnestad, Henrik and Prehofer, Christian and Lysne, Olav},
TITLE = {Higher-order proof by consistency},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {274-285},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Fernau-Lange-Reinhardt/96,
AUTHOR = {Fernau, Henning and Lange, Klaus-J{\"o}rn and Reinhardt, Klaus},
TITLE = {Advocating ownership},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {286-297},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Sengupta-Venkateswaran/96,
AUTHOR = {Sengupta, Rimli and Venkateswaran, H.},
TITLE = {Non-cancellative Boolean circuits: A generalization of monotone Boolean circuits},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {298-309},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Kutylowski-Lorys/96,
AUTHOR = {Kuty{\l}owski, Miros{\l}aw and Lory{\'s}, Krzysztof},
TITLE = {Limitations of the QRQW and EREW PRAM models},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {310-321},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Agrawal-Beigel-Thierauf/96,
AUTHOR = {Agrawal, Manindra and Beigel, Richard and Thierauf, Thomas},
TITLE = {Pinpointing computation with modular queries in the Boolean hierarchy},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {322-334},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Sayag-Mauny/96,
AUTHOR = {Sayag, Emilie and Mauny, Michel},
TITLE = {Characterization of principal type of normal forms in an intersection type system},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {335-346},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Gandhe-Venkatesh-Sanyal/96,
AUTHOR = {Gandhe, Millind and Venkatesh, G. and Sanyal, Amitabha},
TITLE = {Correcting type errors in the Curry system},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {347-358},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Sondergaard/96,
AUTHOR = {S{\o}ndergaard, Harald},
TITLE = {Immediate fixpoints and their use in groundness analysis},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {359-370},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}
@incollection{Yoshida/96,
AUTHOR = {Yoshida, Nabuko},
TITLE = {Graph types for monadic mobile processes},
BOOKTITLE = {Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'96 (Hyderabad, India, December 18-20, 1996)},
SERIES = {LNCS},
VOLUME = {1180},
PAGES = {371-386},
YEAR = {1996},
EDITOR = {Chandru, V. and Vinay, V.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest-Milan-Santa Clara-Singapore},
}