@incollection{Hartmanis/93,
AUTHOR = {Hartmanis, Juris},
TITLE = {Some observations about the nature of computer science},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {1-12},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_Bakel/93,
AUTHOR = {van Bakel, Steffen},
TITLE = {Essential intersection type assignment},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {13-23},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ait-Kaci-Garrigue/93,
AUTHOR = {A{\"{i}}t-Kaci, Hassan and Garrigue, Jacques},
TITLE = {Label-selective $\lambda$-calculus syntax and confluence},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {24-40},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barendsen-Smetsers/93,
AUTHOR = {Barendsen, Erik and Smetsers, Sjaak},
TITLE = {Conventional and uniqueness typing in graph rewrite systems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {41-51},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Castagna/93,
AUTHOR = {Castagna, Giuseppe},
TITLE = {A meta-language for typed object-oriented languages},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {52-71},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berry/93,
AUTHOR = {Berry, G{\'e}rard},
TITLE = {Preemption in concurrent systems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {72-93},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kulkarni-Mitter-Richardson-Tsitsiklis/93,
AUTHOR = {Kulkarni, S.R. and Mitter, S.K. and Richardson, T.J. and Tsitsiklis, J.N.},
TITLE = {Local versus non-local computation of length of digitized curves},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {94-103},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lange-Niedermeier/93,
AUTHOR = {Lange, Klaus-J{\"o}rn and Niedermeier, Rolf},
TITLE = {Data-independences of parallel random access machines},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {104-113},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aguzzi-Modigliani/93,
AUTHOR = {Aguzzi, G. and Modigliani, U.},
TITLE = {Proving termination of logic programs by transforming them into equivalent term rewriting systems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {114-124},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Krishna_Rao/93,
AUTHOR = {Krishna Rao, M.R.K.},
TITLE = {Completeness of hierarchical combinations of term rewriting systems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {125-138},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dershowitz-Mitra/93,
AUTHOR = {Dershowitz, Nachum and Mitra, Subrata},
TITLE = {Higher-order and semantic unification},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {139-150},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Basin-Matthews/93,
AUTHOR = {Basin, David and Matthews, Se{\'a}n},
TITLE = {A conservative extension of first-order logic and its applications to theorem proving},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {151-160},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Stuckey-Sudarshan/93,
AUTHOR = {Stuckey, Peter J. and Sudarshan, S.},
TITLE = {Well-founded ordered search},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {161-171},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ramakrishna-Dillon-Moser-Melliar-Smith-Kutty/93,
AUTHOR = {Ramakrishna, Y.S. and Dillon, L.K. and Moser, L.E. and Melliar-Smith, P.M. and Kutty, G.},
TITLE = {A real-time interval logic and its decision procedure},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {173-192},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fages/93,
AUTHOR = {Fages, Fran{\c{c}}ois},
TITLE = {On the semantics of optimization predicates in CLP languages},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {193-204},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ramachandran-Van_Hentenryck/93,
AUTHOR = {Ramachandran, Viswanath and Van Hentenryck, Pascal},
TITLE = {Incremental algorithms for constraint solving and entailment over rational trees},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {205-217},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Guha-Suzuki/93,
AUTHOR = {Guha, Sumanta and Suzuki, Ichiro},
TITLE = {Proximity problems and the Voronoi diagram on a rectilinear plane with rectangular obstacles},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {218-227},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Asberg-Blanco-Bose-Garcia-Lopez-Overmars-Toussaint-Wilfong-Zhu/93,
AUTHOR = {Asberg, B. and Blanco, G. and Bose, P. and Garcia-Lopez, J. and Overmars, M. and Toussaint, G. and Wilfong, G. and Zhu, B.},
TITLE = {Feasibility of design in stereolithography},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {228-237},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Radhakrishnan-Krumke-Marathe-Rosenkrantz-Ravi/93,
AUTHOR = {Radhakrishnan, Venkatesh and Krumke, Sven O. and Marathe, Madhav V. and Rosenkrantz, Daniel J. and Ravi, S.S.},
TITLE = {Compact location problems},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {238-247},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Halldorsson-Radhakrishnan-Subrahmanyam/93a,
AUTHOR = {Halld{\'o}rsson, Magn{\'u}s M. and Radhakrishnan, Jaikumar and Subrahmanyam, K.V.},
TITLE = {On some communication complexity problems related to threshold functions},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {248-259},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cucker-Rossello/93,
AUTHOR = {Cucker, Felipe and Rossell{\'o}, Francesc},
TITLE = {Recursiveness over the complex numbers is time-bounded},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {260-267},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mulmuley/93a,
AUTHOR = {Mulmuley, Ketan},
TITLE = {A lower bound for solvability of polynomial equations},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {268-283},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reif-Stenzel/93,
AUTHOR = {Reif, Wolfgang and Stenzel, Kurt},
TITLE = {Reuse of proofs in software verification},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {284-293},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Norvell/93,
AUTHOR = {Norvell, Theodore S.},
TITLE = {Induce-statements and induce-expressions: Constructs for inductive programming},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {294-305},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Antoine-Le_Goff-Pin/93,
AUTHOR = {Antoine, Christian and Le Goff, Bernard and Pin, Jean-Eric},
TITLE = {A graphic language based on timing diagrams},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {306-316},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Narasimhan/93,
AUTHOR = {Narasimhan, R.},
TITLE = {Panel on software technology: Integrating theory and practice},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {317-317},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bacchus-Grove-Halpern-Koller/93,
AUTHOR = {Bacchus, Fahiem and Grove, Adam J. and Halpern, Joseph Y. and Koller, Daphne},
TITLE = {Generating degrees of belief from statistical information: An overview},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {318-325},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cheng-Esparza-Palsberg/93,
AUTHOR = {Cheng, Allan and Esparza, Javier and Palsberg, Jens},
TITLE = {Complexity results for 1-safe nets},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {326-337},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janin/93,
AUTHOR = {Janin, David},
TITLE = {Some results about logical descriptions of non deterministic behaviours},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {338-347},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Janicki-Koutny/93a,
AUTHOR = {Janicki, Ryszard and Koutny, Maciej},
TITLE = {Order structures and generalisations of Szpilrajn's theorem},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {348-357},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kumar-Pandya/93a,
AUTHOR = {Kumar, K. Narayan and Pandya, Paritosh K.},
TITLE = {ICSP and its relationship with ACSP and CSP},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {358-372},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Honda-Yoshida/93,
AUTHOR = {Honda, Kohei and Yoshida, Nobuko},
TITLE = {On reduction-based process semantics},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {373-387},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mukund-Sohoni/93,
AUTHOR = {Mukund, Madhavan and Sohoni, Milind},
TITLE = {Keeping track of the latest gossip: Bounded time-stamps suffice},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {388-399},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Aggarwal-Kutten/93,
AUTHOR = {Aggarwal, Sudhanshu and Kutten, Shay},
TITLE = {Time optimal self-stabilizing spanning tree algorithms},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {400-410},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pujari/93,
AUTHOR = {Pujari, Arun K.},
TITLE = {Efficient algorithm to sort linear combinations of arrays},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {411-418},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vaishnavi-Khanna/93,
AUTHOR = {Vaishnavi, V.K. and Khanna, D.},
TITLE = {A simple file structure for the weighted dictionary problem},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {419-435},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dubhashi-Mehlhorn-Ranjan-Thiel/93,
AUTHOR = {Dubhashi, Devdatt P. and Mehlhorn, Kurt and Ranjan, Desh and Thiel, Christian},
TITLE = {Searching, sorting and randomised algorithms for central elements and ideal counting in posets},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {436-443},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bhattacharyya-Nagaraja/93,
AUTHOR = {Bhattacharyya, P. and Nagaraja, G.},
TITLE = {Learning classes of regular and linear languages in Valiant's learnability framework},
BOOKTITLE = {Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)},
SERIES = {LNCS},
VOLUME = {761},
PAGES = {444-453},
YEAR = {1993},
EDITOR = {Shyamasundar, R.K.},
URL = {http://dx.doi.org/10.1007/3-540-57529-4_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}